partition
6235 papers tagged with this keyword
Shuffled equi-n-squares
A formal n-square is the set of positions in an square matrix of size n. A shuffle of a formal n-square consists of independent rotations of each row and of each column. A key result turns out to be valid at least for n <= 34 and n = 37: Each set of n positions can be mapped with one shuffle onto a transversal of the columns. We consider two applications to equi-n-squares (i.e., n-matrices filled with digits 0, .., n - 1 in equal amounts).
First, a shuffled equi-n-square can be seen as a torus with n colors and two orthogonal layers of n rings that can be rotated. Unlike Rubik's cube, each permutation of colored cells can be implemented with shuffles. An upper bound of $3*(-1)^{n-1} + 6n$ shuffles is derived from the key result.
Our second application invokes column transversals and a process of indirection to produce theoretically unpredictable sequences of integers in shuffled equi-n-squares.
Our proof of the key result involves optimizing position sets, averaging, computations based on number partitions, rotating subsets of a regular $n$-gon apart, and the use of cyclotomic polynomials. A few intermediate results need computer assistence. These efforts also generated a variety of (partially) unsolved problems. We selected eight of these for a brief discussion based on the available theoretical and computer evidence.
Bar code for monomial ideals
Published
• View Publication
• BIB
Aim of this paper is to count $0$-dimensional stable and strongly stable ideals in $2$ and $3$ variables, given their (constant) affine Hilbert polynomial.
To do so, we define the Bar Code, a bidimensional structure representing any finite set of terms $M$ and allowing to desume many properties of the corresponding monomial ideal $I$, if $M$ is an order ideal. Then, we use it to give a connection between (strongly) stable monomial ideals and integer partitions, thus allowing to count them via known determinantal formulas.
Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (April 23, 2021) dmtcs:6632
• View Publication
• BIB
Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.
Enumeration of Fuss-Schröder paths
In this paper we enumerate the number of $(k, r)$-Fuss-Schröder paths of type $λ$. Y. Park and S. Kim studied small Schröder paths with type $λ$. Generalizing the results to small $(k, r)$-Fuss-Schröder paths with type $λ$, we give a combinatorial interpretation for the number of small $(k, r)$-Fuss-Schröder paths of type $λ$ by using Chung-Feller style. We also give two sets of sparse noncrossing partitions of $[2(k + 1)n + 1]$ and $[2(k + 1)n + 2]$ which are in bijection with the set of all small and large, respectively, $(k, r)$-Fuss-Schröder paths of type $λ$.
Partition functions and a generalized coloring-flow duality for embedded graphs
Published in Journal of Graph Theory, 88(2) (2018), 271-283
• View Publication
• BIB
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters
Published
• View Publication
• BIB
We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $Ω$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.
Combinatorics of `unavoidable complexes'
The partition number $π(K)$ of a simplicial complex $K\subset 2^{[n]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [n]$ of $[n]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. Motivated by the problems of Tverberg-Van Kampen-Flores type, and inspired by the `constraint method' of Blagojević, Frick, and Ziegler, arXiv:1401.0690 [math.CO], we study the combinatorics of $r$-unavoidable complexes.
Making Bipartite Graphs DM-irreducible
The Dulmage--Mendelsohn decomposition (or the DM-decomposition) gives a unique partition of the vertex set of a bipartite graph reflecting the structure of all the maximum matchings therein. A bipartite graph is said to be DM-irreducible if its DM-decomposition consists of a single component.
In this paper, we focus on the problem of making a given bipartite graph DM-irreducible by adding edges. When the input bipartite graph is balanced (i.e., both sides have the same number of vertices) and has a perfect matching, this problem is equivalent to making a directed graph strongly connected by adding edges, for which the minimum number of additional edges was characterized by Eswaran and Tarjan (1976).
We give a general solution to this problem, which is divided into three parts. We first show that our problem can be formulated as a special case of a general framework of covering supermodular functions, which was introduced by Frank and Jordán (1995) to investigate the directed connectivity augmentation problem. Secondly, when the input graph is not balanced, the problem is solved via matroid intersection. This result can be extended to the minimum cost version in which the addition of an edge gives rise to an individual cost. Thirdly, for balanced input graphs, we devise a combinatorial algorithm that finds a minimum number of additional edges to attain the DM-irreducibility, while the minimum cost version of this problem is NP-hard. These results also lead to min-max characterizations of the minimum number, which generalize the result of Eswaran and Tarjan.
An algebraic approach to lifts of digraphs
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.
On the Number of Conjugate Classes of Derangements
Published in Journal of Mathematics, Volume 2021, Article ID 6023081, 20 pages
• View Publication
• BIB
The number of conjugate classes of derangements of order $n$ is the same as the number $h(n)$ of the restricted partitions with every portion greater than $1$. It is also equal to the number of isotopy classes of $2\times n$ Latin rectangles. Sometimes the exact value is necessary, while sometimes we need the approximation value. In this paper, a recursion formula of $h(n)$ will be obtained, also will some elementary approximation formulae with high accuracy for $h(n)$ be presented. Although we may obtain the value of $h(n)$ in some computer algebra system, it is still meaningful to find an efficient way to calculate the approximate value, especially in engineering, since most people are familiar with neither programming nor CAS software. This paper is mainly for the readers who need a simple and practical formula to obtain the approximate value (without writing a program) with more accuracy, such as to compute the value in an pocket science calculator without programming function. Some methods used here can also be applied to find the fitting functions for some types of data obtained in experiments.
Fair representation in the intersection of two matroids
Published
• View Publication
• BIB
For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is true for the intersections of two matroids: if ${\mathcal D}={\mathcal P} \cap {\mathcal Q}$, where ${\mathcal P},{\mathcal Q}$ are matroids on the same ground set $V$ and $β({\mathcal P}), β({\mathcal P}) \le k$, then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal D}$ meeting each $A_i$ in at least $(\frac{1}{k}-\frac{1}{|V|})|A_i|-1$ elements. We prove this for a partition into two sets.
Asymptotic distributions of Wishart type products of random matrices
Published in Colloquium Mathematicum, Vol. 155, No. 1 (2019), 67-106
• View Publication
• BIB
We study asymptotic distributions of large dimensional random matrices of the form $BB^{*}$, where $B$ is a product of $p$ rectangular random matrices, using free probability and combinatorics of colored labeled noncrossing partitions. These matrices are taken from the set of off-diagonal blocks of the family $\mathcal{Y}$ of independent Hermitian random matrices which are asymptotically free, asymptotically free against the family of deterministic diagonal matrices, and whose norms are uniformly bounded almost surely. This class includes unitarily invariant Hermitian random matrices with limit distributions given by compactly supported probability measures $ν$ on the real line. We express the limit moments in terms of colored labeled noncrossing pair partitions, to which we assign weights depending on even free cumulants of $ν$ and on asymptotic dimensions of blocks (Gaussianization). For products of $p$ independent blocks, we show that the limit moments are linear combinations of a new family of polynomials called generalized multivariate Fuss-Narayana polynomials. In turn, the product of two blocks of the same matrix leads to an example with rescaled Raney numbers.
Lattice Spectral Sequences and Cohomology of Configuration Spaces
For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.
Modeling the maximum edge-weight k-plex partitioning problem
Given a sparse undirected graph G with weights on the edges, a k-plex partition of G is a partition of its set of nodes such that each component is a k-plex. A subset of nodes S is a k-plex if the degree of every node in the associated induced subgraph is at least |S|-k. The maximum edge-weight k-plex partitioning (Max-EkPP) problem is to find a k-plex partition with maximum total weight, where the partition's weight is the sum of the weights on the edges in the solution. When k=1, all components in the partition are cliques and the problem becomes the well-known maximum edge-weight clique partitioning (Max-ECP). However, and to our best knowledge, when k>1, the problem has never been modeled. Actually, the literature on the k-plex addresses the search for a single component in an unweighted graph. We propose a polynomial size integer linear programming formulation for the Max-EkPP problem and consider the inclusion of additional topological constraints in the model. These constraints involve lower and upper limit capacity bounds in each component and upper bound constraints on the number of components in the final solution. All these characterizations preserve linearity and the initial polynomial size of the model. We also present computational tests in order to show the models' performance under different parameters' settings. These tests resort to benchmark and real-world graphs.
Parabolic Catalan numbers count flagged Schur functions; Convexity of tableau sets for Demazure characters
Shuffles are n-multipermutations with suit multiplicities given by a subset R of {1,..,n-1}. Their inverses are ordered partitions of {1,..,n} whose block sizes derive from R. These "R-permutations" depict the min length coset reps for the quotient of S_n by the parabolic subgroup W_J, with J the complement of R. We refer to those that blockwise avoid the pattern 312 as "312-avoiding R-permutations" and define the "parabolic R-Catalan number" to be the number of them. Let lambda be a partition of N with at most n parts whose set of shape column lengths less than n is R. We show that the number of flagged Schur functions formed on the shape of lambda is this parabolic R-Catalan number, and list over a dozen other phenomena that are enumerated by it. Let pi be an R-permutation. We view the Demazure character (key polynomial) indexed by (lambda,pi) as the sum of the content weight monomials for our "pi-Demazure" semistandard tableaux of shape lambda with entries from {1,..,n}. We show that the set of these tableaux is convex in Z^N if and only if pi is a 312-avoiding R-permutation. A flagged Schur function is the sum of the content weight monomials for the semistandard tableaux of shape lambda whose entries are row-wise bounded by a given weakly increasing n-tuple. We consider general row bound sums for which the bounds may be any n-tuple. Reiner and Shimozono and then Postnikov and Stanley obtained results concerning coincidences between flagged Schur functions and Demazure characters: when lambda is strict, the flagged Schur functions exactly coincide with the 312-avoiding Demazure characters. For general lambda we introduce precise indexing sets of n-tuple bounds for the row bound sums. This and our convexity results are used to sharpen their coincidence results, to extend them to general row bound sums, and to show they hold at the deeper level of coinciding underlying tableau sets.
The geometric lattice of embedded subsets
This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a partition where the former is a block of the latter. The lattice structure proposed in a recent contribution relies on ad-hoc definitions of both the join operator and the bottom element, while also including join-irreducible elements distinct from atoms. Conversely, here embedded subsets obtain through a closure operator defined over the product of the subset and partition lattices, where elements are generic pairs of a subset and a partition. Those such pairs that coincide with their closure are precisely embedded subsets, and since the Steinitz exchange axiom is also satisfied, what results is a geometric (hence atomic) lattice given by a simple matroid (or combinatorial geometry) included in the product of the subset and partition lattices (as the partition lattice itself is the polygon matroid defined on the edges of a complete graph). By focusing on its Möbius function, this geometric lattice of embedded subsets of a n-set is shown to be isomorphic to the lattice of partitions of a n+1-set.
Loop Models and $K$-Theory
Published in SIGMA 14 (2018), 069, 48 pages
• View Publication
• BIB
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in geometric terms. As a byproduct, we provide explicit formulae for $K$-classes of various coherent sheaves, including structure and (conjecturally) square roots of canonical sheaves and canonical sheaves of conormal varieties of Schubert varieties.
Improper coloring of graphs with no odd clique minor
Published in Combin. Probab. Comput., 2019
• View Publication
• BIB
As a strengthening of Hadwiger's conjecture, Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. We prove two weaker variants of this conjecture. Firstly, we show that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $6t-9$ sets $V_1, \dots, V_{6t-9}$ such that each $V_i$ induces a subgraph of bounded maximum degree. Secondly, we prove that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $10t-13$ sets $V_1, \dots, V_{10t-13}$ such that each $V_i$ induces a subgraph with components of bounded size. The second theorem improves a result of Kawarabayashi (2008), which states that the vertex set can be partitioned into $496t$ such sets.
On a Rogers-Ramanujan type identity from crystal base theory
Published
• View Publication
• BIB
We refine and generalise a Rogers-Ramanujan type partition identity arising from crystal base theory. Our proof uses the variant of the method of weighted words recently introduced by the first author.
Approximation of the Partition Number After Hardy and Ramanujan: An Application of Data Fitting Method in Combinatorics
Sometimes we need the approximate value of the partition number in a simple and efficient way. There are already several formulae to calculate the partition number p(n). But they are either inconvenient for most people (not majored in math) who do not want do write programs, or unsatisfying in accuracy. By bringing in two parameters in the Hardy-Ramanujan's Asymptotic formula and fitting the data of the two parameters by least square method, iteration method and some other special designed methods, several revised elementary estimation formulae with high accuracy for p(n) are obtained. With these estimation formulae, the approximate value of p(n) can be calculated by a pocket calculator without programming function. The main difficulty is that the usual methods to fit the data of the two parameters by an elementary function is defective here. These method could be used in finding the fitting functions of some other complex data.