partition
6235 papers tagged with this keyword
On the OA(1536,13,2,7) and related orthogonal arrays
Published in Discrete Math. 343(2) 2020, paper 111659, 1-11
• View Publication
• BIB
With a computer-aided approach based on the connection with equitable partitions, we establish the uniqueness of the orthogonal array OA$(1536,13,2,7)$, constructed in [D.G.Fon-Der-Flaass. Perfect $2$-Colorings of a Hypercube, Sib. Math. J. 48 (2007), 740-745] as an equitable partition of the $13$-cube with quotient matrix $[[0,13],[3,10]]$. By shortening the OA$(1536,13,2,7)$, we obtain $3$ inequivalent orthogonal arrays OA$(768,12,2,6)$, which is a complete classification for these parameters too. After our computing, the first parameters of unclassified binary orthogonal arrays OA$(N,n,2,t)$ attending the Friedman bound $N\ge 2^n(1-n/2(t+1))$ are OA$(2048,14,2,7)$. Such array can be obtained by puncturing any binary $1$-perfect code of length $15$. We construct orthogonal arrays with these and similar parameters OA$(N=2^{n-m+1},n=2^m-2,2,t=2^{m-1}-1)$, $m\ge 4$, that are not punctured $1$-perfect codes. Additionally, we prove that any orthogonal array OA$(N,n,2,t)$ with even $t$ attending the bound $N \ge 2^n(1-(n+1)/2(t+2))$ induces an equitable $3$-partition of the $n$-cube.
Skew key polynomials and a generalized Littlewood-Richardson rule
Published
• View Publication
• BIB
Young's lattice is a partial order on integer partitions whose saturated chains correspond to standard Young tableaux, one type of combinatorial object that generates the Schur basis for symmetric functions. Generalizing Young's lattice, we introduce a new partial order on weak compositions that we call the key poset. Saturated chains in this poset correspond to standard key tableaux, the combinatorial objects that generate the key polynomials, a nonsymmetric polynomial generalization of the Schur basis. Generalizing skew Schur functions, we define skew key polynomials in terms of this new poset. Using weak dual equivalence, we give a nonnegative weak composition Littlewood-Richardson rule for the key expansion of skew key polynomials, generalizing the flagged Littlewood-Richardson rule of Reiner and Shimozono.
A combinatorial bijection on $k$-noncrossing partitions
For any integer $k\geq2$, we prove combinatorially the following Euler (binomial) transformation identity $$ \NC_{n+1}^{(k)}(t)=t\sum_{i=0}^n{n\choose i}\NW_{i}^{(k)}(t), $$ where $\NC_{m}^{(k)}(t)$ (resp.~$\NW_{m}^{(k)}(t)$) is the sum of weights, $t^\text{number of blocks}$, of partitions of $\{1,\ldots,m\}$ without $k$-crossings (resp.~enhanced $k$-crossings). The special $k=2$ and $t=1$ case, asserting the Euler transformation of Motzkin numbers are Catalan numbers, was discovered by Donaghey 1977. The result for $k=3$ and $t=1$, arising naturally in a recent study of pattern avoidance in ascent sequences and inversion sequences, was proved only analytically.
On the spectrum of two families of non-distance-regular graphs
This paper addresses the challenge of spectral analysis and structural investigation for graphs that are not distance-regular, where computing the spectrum using standard methods based on equitable and orbit partitions can be complex. Our main objective is to determine all eigenvalues of the extended graph $E(2.O_k)$ by leveraging the relationship between its equitable and orbit partitions. While the integral nature of this graph has been previously studied, we introduce a novel approach to demonstrate the utility of this method in finding the complete set of distinct eigenvalues for a class of non-distance-regular graphs. Specifically, we first establish that $E(2.O_k)$ is a vertex-transitive graph with diameter $k$, contrasting with the diameter of $2.O_k$, which is $2k-1$. We also determine the automorphism group of $E(2.O_k)$ and prove that it is an integral graph, meaning all eigenvalues of its adjacency matrix are integers. A significant result is the determination of the multiplicity for all distinct eigenvalues of $E(2.O_k)$. Additionally, we extend our method to the enhanced Johnson graph $EJ(2m,m)$. Although its eigenvalues are known from prior work, the multiplicity of these distinct eigenvalues has not yet been calculated. We use our techniques to fully determine the multiplicity of all distinct eigenvalues for $EJ(2m,m)$.
A lower bound for the partition function from Chebyshev's inequality applied to a coin flipping model for the random partition
We use a coin flipping model for the random partition and Chebyshev's inequality to prove the lower bound $\lim \frac{\log p(n)}{\sqrt{n}} \ge C$ for the number of partitions $p(n)$ of $n$, where $C$ is an explicit constant.
Clustered Coloring of Graphs Excluding a Subgraph and a Minor
A graph coloring has bounded clustering if each monochromatic component has bounded size. Equivalently, it is a partition of the vertices into induced subgraphs with bounded size components. This paper studies clustered colorings of graphs, where the number of colors depends on an excluded minor and/or an excluded subgraph. We prove the following results (for fixed integers $s,t$ and a fixed graph $H$). First we show that graphs with no $K_{s,t}$ subgraph and with no $H$-minor are $(s+2)$-colorable with bounded clustering. The number of colors here is best possible. This result implies that graphs with no $K_{s+1}$-minor are $(s+2)$-colorable with bounded clustering, which is within two colors of the clustered coloring version of Hadwiger's conjecture. For graphs of bounded treewidth (or equivalently, excluding a planar minor) and with no $K_{s,t}$ subgraph, we prove $(s+1)$-choosability with bounded clustering, which is best possible. We then consider excluding an odd minor. We prove that graphs with no $K_{s,t}$ subgraph and with no odd $H$-minor are $(2s+1)$-colorable with bounded clustering, generalizing a result of the first author and Oum who proved the case $s=1$. Moreover, at least $s-1$ color classes are stable sets. Finally, we consider the clustered coloring version of a conjecture of Gerards and Seymour and prove that graphs with no odd $K_{s+1}$-minor are $(8s-4)$-colorable with bounded clustering, which improves on previous such bounds.
Tutte Short Exact Sequences of Graphs
Published in Combinatorial Theory, Volume 2, Issue 2, 2022
• Search Publication
We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.
A shuffling theorem for lozenge tilings of doubly-dented hexagons
MacMahon's theorem on plane partitions yields a simple product formula for tiling number of a hexagon, and Cohn, Larsen and Propp's theorem provides an explicit enumeration for tilings of a dented semihexagon via semi-strict Gelfand--Tsetlin patterns. In this paper, we prove a natural hybrid of the two theorems for hexagons with an arbitrary set of unit triangles removed along a horizontal axis. In particular, we show that the `shuffling' of removed unit triangles only changes the tiling number of the region by a simple multiplicative factor. Our main result generalizes a number of known enumerations and asymptotic enumerations of tilings. We also reveal connections of the main result to the study of symmetric functions and $q$-series.
The $A_2$ Rogers-Ramanujan identities revisited
In this note we show how to rederive the $A_2$ Rogers-Ramanujan identities proven by Andrews, Schilling and Warnaar using cylindric partitions. This paper is dedicated to George Andrews for his $80^{th}$ birthday.
Association schemes for diagonal groups
For any finite group $G$, and any positive integer $n$, we construct an association scheme which admits the diagonal group $D_n(G)$ as a group of automorphisms. The rank of the association scheme is the number of partitions of $n$ into at most $|G|$ parts, so is $p(n)$ if $|G|\ge n$; its parameters depend only on $n$ and $|G|$. For $n=2$, the association scheme is trivial, while for $n=3$ its relations are the Latin square graph associated with the Cayley table of $G$ and its complement.
A transitive permutation group $G$ is said to be \emph{AS-free} if there is no non-trivial association scheme admitting $G$ as a group of automorphisms. A consequence of our construction is that an AS-free group must be either $2$-homogeneous or almost simple.
We construct another association scheme, finer than the above scheme if $n>3$, from the Latin hypercube consisting of $n$-tuples of elements of $G$ with product the identity.
Fractional Exclusion Statistics as an Occupancy Process
Published
• View Publication
• BIB
We show the possibility of describing fractional exclusion statistics (FES) as an occupancy process with global and \textit{local} exclusion constraints. More specifically, using combinatorial identities, we show that FES can be viewed as "ball-in-box" models with appropriate weighting on the set of occupancy configurations (merely represented by a partition of the total number of particles). As a consequence, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter \mbox{$g=q/r$} ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), (1)~the allowed occupation number of a state is less than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and (2)~the global occupancy shape is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \mod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$.
Partitions and the maximal excludant
For each nonempty integer partition $π$, we define the maximal excludant of $π$ to be the largest nonnegative integer smaller than the largest part of $π$ that is not a part of $π$. Let $σ\!\operatorname{maex}(n)$ be the sum of maximal excludants over all partitions of $n$. We show that the generating function of $σ\!\operatorname{maex}(n)$ is closely related to a mock theta function studied by Andrews \textit{et al.} and Cohen. Further, we show that, as $n\to \infty$, $σ\!\operatorname{maex}(n)$ is asymptotic to the sum of largest parts of all partitions of $n$. Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of $n$ is shown to converge to $1$ as $n\to \infty$.
Bijective proofs of skew Schur polynomial factorizations
Published in Journal of Combinatorial Theory, Series A Volume 174, August 2020, 105241, 40pp
• View Publication
• BIB
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.
Monochromatic connected matchings in 2-edge-colored multipartite graphs
A matching $M$ in a graph $G$ is connected if all the edges of $M$ are in the same component of $G$. Following Łuczak,there have been many results using the existence of large connected matchings in cluster graphs with respect to regular partitions of large graphs to show the existence of long paths and other structures in these graphs. We prove exact
Ramsey-type bounds on the sizes of monochromatic connected matchings in $2$-edge-colored multipartite graphs. In addition, we prove a stability theorem for such matchings.
An insertion algorithm on multiset partitions with applications to diagram algebras
Published in J. Algebra 557 no. 1, (2020), 97-128
• View Publication
• BIB
We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson.
Partitioning sparse graphs into an independent set and a graph with bounded size components
We study the problem of partitioning the vertex set of a given graph so that each part induces a graph with components of bounded order; we are also interested in restricting these components to be paths. In particular, we say a graph $G$ admits an $({\cal I}, {\cal O}_k)$-partition if its vertex set can be partitioned into an independent set and a set that induces a graph with components of order at most $k$. We prove that every graph $G$ with $\operatorname{mad}(G)<\frac 52$ admits an $({\cal I}, {\cal O}_3)$-partition. This implies that every planar graph with girth at least $10$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 3. We also prove that every graph $G$ with $\operatorname{mad}(G) < \frac{8k}{3k+1} = \frac{8}{3}\left( 1 - \frac{1}{3k+1} \right)$ admits an $({\cal I}, {\cal O}_k)$-partition. This implies that every planar graph with girth at least $9$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 9.
Generalized Intransitive Dice II: Partition Constructions
A generalized $N$-sided die is a random variable $D$ on a sample space of $N$ equally likely outcomes taking values in the set of positive integers. We say of independent $N$ sided dice $D_i, D_j$ that $D_i$ beats $D_j$, written $D_i \to D_j$, if $Prob(D_i > D_j) > \frac{1}{2} $. A collection of dice $\{ D_i : i = 1, \dots, n \}$ models a tournament on the set $[n] = \{ 1, 2, \dots, n \}$, i.e. a complete digraph with $n$ vertices, when $D_i \to D_j$ if and only if $i \to j$ in the tournament. By using $n$-fold partitions of the set $[Nn] $ with each set of size $N$ we can model an arbitrary tournament on $[n]$. A bound on the required size of $N$ is obtained by examples with $N = 3^{n-2}$.
On self-conjugate $(s, s+1,\ldots, s+k)$-core partitions
Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.
A hierarchy of Palm measures for determinantal point processes with gamma kernels
Published in Studia Mathematica 267 (2022), no. 2, 121-160
• Search Publication
The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representations of the Lie algebra $\mathfrak{su}(1,1)$. Every gamma kernel $K^{(z,z')}$ serves as a correlation kernel for a determinantal measure $M^{(z,z')}$, which lives on the space of infinite point configurations on the lattice.
We examine chains of kernels of the form $$ \ldots, K^{(z-1,z'-1)}, \; K^{(z,z')},\; K^{(z+1,z'+1)}, \ldots, $$ and establish the following hierarchical relations inside any such chain:
Given $(z,z')$, the kernel $K^{(z,z')}$ is a one-dimensional perturbation of (a twisting of) the kernel $K^{(z+1,z'+1)}$, and the one-point Palm distributions for the measure $M^{(z,z')}$ are absolutely continuous with respect to $M^{(z+1,z'+1)}$.
We also explicitly compute the corresponding Radon-Nikodým derivatives and show that they are given by certain normalized multiplicative functionals.
On the topology of bi-cyclopermutohedra
Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.