partition
6235 papers tagged with this keyword
Khovanov-Rozansky homology of Coxeter knots and Schröder polynomials for paths under any line
We introduce a family of generalized Schröder polynomials $S_τ(q,t,a)$, indexed by triangular partitions $τ$ and prove that $S_τ(q,t,a)$ agrees with the Poincaré series of the triply graded Khovanov-Rozansky homology of the Coxeter knot $K_τ$ associated to $τ$. For all integers $m,n,d\geq 1$ with $m,n$ relatively prime, the $(d,mnd+1)$-cable of the torus knot $T(m,n)$ appears as a special case. It is known that these knots are algebraic, and as a result we obtain a proof of the $q=1$ specialization of the Oblomkov-Rasmussen-Shende conjecture for these knots. Finally, we show that our Schröder polynomial computes the hook components in the Schur expansion of the symmetric function appearing in the shuffle theorem under any line, thus proving a triangular version of the $(q,t)$-Schröder theorem.
Toward resolving Kang and Park's generalization of the Alder-Andrews Theorem
The Alder-Andrews Theorem, a partition inequality generalizing Euler's partition identity, the first Rogers-Ramanujan identity, and a theorem of Schur to $d$-distinct partitions of $n$, was proved successively by Andrews in 1971, Yee in 2008, and Alfes, Jameson, and Lemke Oliver in 2010. While Andrews and Yee utilized $q$-series and combinatorial methods, Alfes et al. proved the finite number of remaining cases using asymptotics originating with Meinardus together with high-performance computing. In 2020, Kang and Park conjectured a "level $2$" Alder-Andrews type partition inequality which relates to the second Rogers-Ramanujan identity. Duncan, Khunger, the second author, and Tamura proved Kang and Park's conjecture for all but finitely many cases using a combinatorial shift identity. Here, we generalize the methods of Alfes et al. to resolve nearly all of the remaining cases of Kang and Park's conjecture.
Major Index on Catalan Combinatorics
We study the two statistics, the inversion number and the major index, on Catalan combinatorial objects such as $r$-Dyck paths, $r$-Stirling permutations, non-crossing partitions, Dyck tilings, and symmetric Dyck paths. We show that they are equidistributed with the inversion number or the major index on Dyck paths.
Noncrossing arithmetic
Higher-order notions of Kreweras complementation have appeared in the literature in the works of Krawczyk, Speicher, Mastnak, Nica, Arizmendi, Vargas, and others. While the theory has been developed primarily for specific applications in free probability, it also possesses an elegant, purely combinatorial core that is of independent interest. The present article aims at offering a simple account of various aspects of higher-order Kreweras complementation on the basis of elementary arithmetic, (co)algebraic, categorical and simplicial properties of noncrossing partitions. The main idea is to consider noncrossing partitions as providing an interesting noncommutative analogue of the interplay between the divisibility poset and the multiplicative monoid of positive integers. Just as the divisibility poset can be regarded as the decalage of the multiplicative monoid, we exhibit the lattice of noncrossing partitions as the decalage of a partial monoid structure on noncrossing partitions encoding higher-order Kreweras complements. While our results may be considered familiar, several of the viewpoints can be regarded as novel, offering an efficient approach both conceptually and computationally.
An Efficient Regularity Lemma for Semi-Algebraic Hypergraphs
We use the polynomial method of Guth and Katz to establish stronger and {\it more efficient} regularity and density theorems for such $k$-uniform hypergraphs $H=(P,E)$, where $P$ is a finite point set in ${\mathbb R}^d$, and the edge set $E$ is determined by a semi-algebraic relation of bounded description complexity. In particular, for any $0<ε\leq 1$ we show that one can construct in $O\left(n\log (1/ε)\right)$ time, an equitable partition $P=U_1\uplus \ldots\uplus U_K$ into $K=O(1/ε^{d+1+δ})$ subsets, for any $0<δ$, so that all but $ε$-fraction of the $k$-tuples $U_{i_1},\ldots,U_{i_k}$ are {\it homogeneous}: we have that either $U_{i_1}\times\ldots\times U_{i_k}\subseteq E$ or $(U_{i_1}\times\ldots\times U_{i_k})\cap E=\emptyset$. If the points of $P$ can be perturbed in a general position, the bound improves to $O(1/ε^{d+1})$, and the partition is attained via a {\it single partitioning polynomial} (albeit, at expense of a possible increase in worst-case running time). In contrast to the previous such regularity lemmas which were established by Fox, Gromov, Lafforgue, Naor, and Pach and, subsequently, Fox, Pach and Suk, our partition of $P$ does not depend on the edge set $E$ provided its semi-algebraic description complexity does not exceed a certain constant. As a by-product, we show that in any $k$-partite $k$-uniform hypergraph $(P_1\uplus\ldots\uplus P_k,E)$ of bounded semi-algebraic description complexity in ${\mathbb R}^d$ and with $|E|\geq ε\prod_{i=1}^k|P_i|$ edges, one can find, in expected time $O\left(\sum_{i=1}^k\left(|P_i|+1/ε)\right)\log (1/ε)\right)$, subsets $Q_i\subseteq P_i$ of cardinality $|Q_i|\geq |P_i|/ε^{d+1+δ}$, so that $Q_1\times\ldots\times Q_k\subseteq E$.
A note on congruences for generalized cubic partitions modulo primes
Published in Integers 25 (2025), #A20
• View Publication
• BIB
Recently, Amdeberhan, Sellers, and Singh introduced the notion of a generalized cubic partition function $a_c(n)$ and proved two isolated congruences via modular forms, namely, $a_3(7n+4)\equiv 0\pmod{7}$ and $a_5(11n+10)\equiv 0\pmod{11}$. In this paper, we provide another proof of these congruences by using classical $q$-series manipulations. We also give infinite families of congruences for $a_c(n)$ for primes $p\not\equiv 1\pmod{8}$.
A generalization of conjugation of integer partitions
Published in Electron. J. Combin. 32 (2025), no. 2, Paper No. 2.37
• Search Publication
We exhibit, for any positive integer parameter $s$, an involution on the set of integer partitions of $n$. These involutions show the joint symmetry of the distributions of the following two statistics. The first counts the number of parts of a partition divisible by $s$, whereas the second counts the number of cells in the Ferrers diagram of a partition whose leg length is zero and whose arm length has remainder $s-1$ when dividing by $s$. In particular, for $s=1$ this involution is just conjugation. Additionally, we provide explicit expressions for the bivariate generating functions.
Our primary motivation to construct these involutions is that we know only of two other "natural" bijections on integer partitions of a given size, one of which is the Glaisher-Franklin bijection sending the set of parts divisible by $s$, each divided by $s$, to the set of parts occurring at least $s$ times.
Distributional limits of graph cuts on discretized grids
Published in Electron. J. Statist. 19(2): 5925-5978 (2025)
• View Publication
• BIB
Graph cuts are among the most prominent tools for clustering and classification analysis. While intensively studied from geometric and algorithmic perspectives, graph cut-based statistical inference still remains elusive to a certain extent. Distributional limits are fundamental in understanding and designing such statistical procedures on randomly sampled data. We provide explicit limiting distributions for balanced graph cuts in general on a fixed but arbitrary discretization. In particular, we show that Minimum Cut, Ratio Cut and Normalized Cut behave asymptotically as the minimum of Gaussians as sample size increases. Interestingly, our results reveal a dichotomy for Cheeger Cut: The limiting distribution of the optimal objective value is the minimum of Gaussians only when the optimal partition yields two sets of unequal volumes, while otherwise the limiting distribution is the minimum of a random mixture of Gaussians. Further, we show the bootstrap consistency for all types of graph cuts by utilizing the directional differentiability of cut functionals. We validate these theoretical findings by Monte Carlo experiments, and examine differences between the cuts and the dependency on the underlying distribution. Additionally, we expand our theoretical findings to the Xist algorithm, a computational surrogate of graph cuts recently proposed in Suchan, Li and Munk (arXiv, 2023), thus demonstrating the practical applicability of our findings e.g. in statistical tests.
Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$ ]{Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$
In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.
An extended generalization of RSK correspondence via $A$ type quiver representations
Let $λ=(λ_1 \geqslant \ldots \geqslant λ_k > 0)$. For any $c$ Coxeter element of $\mathfrak{S}_{λ_1+k-1}$, we construct a bijection from fillings of $λ$ to reverse plane partitions. We recover two previous generalizations of the Robinson--Schensted--Knuth correspondence for particular choices of Coxeter element depending on $λ$: one based on the work of, among others, Burge, Hillman, Grassl, Knuth, and uniformly presented by Gansner; the other developed by Garver, Partrias, and Thomas, and independently by Dauvergne, called Scrambled RSK. Our results in this paper develop the combinatorial consequence of our previous work of type $A_{λ_1+k}$ quivers.
Uniform exclude distributions of Sidon sets
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that the pairwise sums of distinct points are all distinct. The exclude points of a Sidon set $S$ are the sums of three distinct points in $S$, and the exclude multiplicity of a point in $\mathbb{F}_2^n \setminus S$ is the number of such triples in $S$ it is equal to. We call the function $d_S \colon \mathbb{F}_2^n \setminus S \to \mathbb{Z}_{\geq 0}$ taking points in $\mathbb{F}_2^n \setminus S$ to their exclude multiplicity the exclude distribution of $S$. We say that $d_S$ is uniform on $\mathcal{P}$ if $\mathcal{P}$ is an equally-sized partition $\mathcal{P}$ of $\mathbb{F}_2^n \setminus S$ such that $d_S$ takes the same values an equal number of times on every element of $\mathcal{P}$. In this paper, we use APN plateaued functions with all component functions unbalanced to construct Sidon sets $S$ in $(\mathbb{F}_2^n)^2$ whose exclude distributions are uniform on natural partitions of $(\mathbb{F}_2^n)^2 \setminus S$ into $2^n$ elements. We use this result and a result of Carlet to determine exactly what values the exclude distributions of the graphs of the Gold and Kasami functions take and how often they take these values.
Isometric Cycles and a Generalization of Moore Graphs
The equator of a graph is the length of a longest isometric cycle. We bound the order $n$ of a graph from below by its equator $q$, girth $g$ and minimum degree $δ$ - and show that this bound is sharp when there exists a Moore graph with girth $g$ and minimum degree $δ$. The extremal graphs that attain our bound give an analogue of Moore graphs. We prove that these extremal `Moore-like' graphs are regular, and that every one of their vertices is contained in some maximum length isometric cycle. We show that these extremal graphs have a highly structured partition that is unique, and easily derived from any of its maximum length isometric cycles. We characterize the extremal graphs with girth 3 and 4, and those with girth 5 and minimum degree 3. We also bound the order of $C_4$-free graphs with given equator and minimum degree, and show that this bound is nearly sharp. We conclude with some questions and conjectures further relating our extremal graphs to cages and Moore graphs.
Two-row Delta Springer varieties
Published in Algebr. Comb. 8(4) (2025), 925-953
• View Publication
• BIB
We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.
Boundedly finite-to-one functions
Published in Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzae130
• View Publication
• BIB
A function is boundedly finite-to-one if there is a natural number $k$ such that each point has at most $k$ inverse images. In this paper, we prove in $\mathsf{ZF}$ (i.e., the Zermelo--Fraenkel set theory without the axiom of choice) several results concerning this notion, among which are the following:
(1) For each infinite set $A$ and natural number $n$, there is no boundedly finite-to-one function from $\mathcal{S}(A)$ to $\mathcal{S}_{\leq n}(A)$, where $\mathcal{S}(A)$ is the set of all permutations of $A$ and $\mathcal{S}_{\leq n}(A)$ is the set of all permutations of $A$ moving at most $n$ points.
(2) For each infinite set $A$, there is no boundedly finite-to-one function from $\mathcal{B}(A)$ to $\mathrm{fin}(A)$, where $\mathcal{B}(A)$ is the set of all partitions of $A$ such that every block is finite and $\mathrm{fin}(A)$ is the set of all finite subsets of $A$.
$k$-Coalitions in Graphs
In this paper, we propose and investigate the concept of $k$-coalitions in graphs, where $k\ge 1$ is an integer. A $k$-coalition refers to a pair of disjoint vertex sets that jointly constitute a $k$-dominating set of the graph, meaning that every vertex not in the set has at least $k$ neighbors in the set. We define a $k$-coalition partition of a graph as a vertex partition in which each set is either a $k$-dominating set with exactly $k$ members or forms a $k$-coalition with another set in the partition. The maximum number of sets in a $k$-coalition partition is called the $k$-coalition number of the graph represented by $C_k(G)$. We present fundamental findings regarding the properties of $k$-coalitions and their connections with other graph parameters. We obtain the exact values of $2$-coalition number of some specific graphs and also study graphs with large $2$-coalition number.
Calligraphy Concerning Casually Compiled Cardinal Characteristic Comparisons
I establish several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an (the?) $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover I provide a diagram putting these results into context and give a brief historical account.
Partition regularity of generalized Pythagorean pairs
We address partition regularity problems for homogeneous quadratic equations. A consequence of our main results is that, under natural conditions on the coefficients $a,b,c$, for any finite coloring of the positive integers, there exists a solution to $ax^2+by^2=cz^2$ where $x$ and $y$ have the same color (and similar results for $x,z$ and $y,z$). For certain choices of $(a,b,c)$, our result is conditional on an Elliott-type conjecture. Our proofs build on and extend previous arguments of the authors dealing with the Pythagorean equation. We make use of new uniformity properties of aperiodic multiplicative functions and concentration estimates for multiplicative functions along arbitrary binary quadratic forms.
Derivatives of theta functions as Traces of Partition Eisenstein series
In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $φ: \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(φ;q):=\sum_{λ\vdash n} φ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(φ_U;q)$ and $V_{2t}(q)=\text{Tr}_t(φ_V;q),$ where $φ_U$ and $φ_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.
On the structure of the d-indivisible noncrossing partition posets
We study the poset of d-indivisible noncrossing partitions introduced by Mühle, Nadeau and Williams. These are noncrossing partitions such that each block has cardinality 1 modulo d and each block of the dual partition also has cardinality 1 modulo d. Generalizing the work of Speicher, we introduce a generating function approach to reach new enumerative results and recover some known formulas on the cardinality, the Möbius function and the rank numbers. We compute the antipode of the Hopf algebra of d-indivisible noncrossing partition posets. Generalizing work of Stanley, we give an edge labeling such that the labels of the maximal chains are exactly the d-parking functions. This edge labeling induces an EL-labeling. We also introduce d-parking trees which are in bijective correspondence with the maximal chains.
The list chromatic number of the intersection of two generalized partition matroids
A famous theorem of Galvin states that the list chromatic number of the intersection of two partition matroids equals its chromatic number. Kiraly and Berczi et. al. conjectured that this equality holds for any two matroids. We prove this conjecture and a conjecture by Aharoni--Berger for any two generalized partition matroids.