partition
6235 papers tagged with this keyword
Belief Propagation on the random $k$-SAT model
Published
• View Publication
• BIB
Corroborating a prediction from statistical physics, we prove that the Belief Propagation message passing algorithm approximates the partition function of the random $k$-SAT model well for all clause/variable densities and all inverse temperatures for which a modest absence of long-range correlations condition is satisfied. This condition is known as "replica symmetry" in physics language. From this result we deduce that a replica symmetry breaking phase transition occurs in the random $k$-SAT model at low temperature for clause/variable densities below but close to the satisfiability threshold.
Approximating the discrete time-cost tradeoff problem with bounded depth
Published
• View Publication
• BIB
We revisit the deadline version of the discrete time-cost tradeoff problem for the special case of bounded depth. Such instances occur for example in VLSI design. The depth of an instance is the number of jobs in a longest chain and is denoted by $d$. We prove new upper and lower bounds on the approximability. First we observe that the problem can be regarded as a special case of finding a minimum-weight vertex cover in a $d$-partite hypergraph. Next, we study the natural LP relaxation, which can be solved in polynomial time for fixed $d$ and -- for time-cost tradeoff instances -- up to an arbitrarily small error in general. Improving on prior work of Lovász and of Aharoni, Holzman and Krivelevich, we describe a deterministic algorithm with approximation ratio slightly less than $\frac{d}{2}$ for minimum-weight vertex cover in $d$-partite hypergraphs for fixed $d$ and given $d$-partition. This is tight and yields also a $\frac{d}{2}$-approximation algorithm for general time-cost tradeoff instances. We also study the inapproximability and show that no better approximation ratio than $\frac{d+2}{4}$ is possible, assuming the Unique Games Conjecture and $\text{P}\neq\text{NP}$. This strengthens a result of Svensson, who showed that under the same assumptions no constant-factor approximation algorithm exists for general time-cost tradeoff instances (of unbounded depth). Previously, only APX-hardness was known for bounded depth.
The generalized Frobenius problem via restricted partition functions
Published
• View Publication
• BIB
Given relatively prime positive integers, $a_1,\ldots,a_n$, the Frobenius number is the largest integer with no representations of the form $a_1x_1+\cdots+a_nx_n$ with nonnegative integers $x_i$. This classical value has recently been generalized: given a nonnegative integer $k$, what is the largest integer with at most $k$ such representations? Other classical values can be generalized too: for example, how many nonnegative integers are representable in at most $k$ ways? For sufficiently large $k$, we give formulas for these values by understanding the level sets of the restricted partition function (the function $f(t)$ giving the number of representations of $t$). Furthermore, we give the full asymptotics of all of these values, as well as reprove formulas for some special cases (such as the $n=2$ case and a certain extremal family from the literature). Finally, we obtain the first two leading terms of the restricted partition function as a so-called quasi-polynomial.
Diagonal groups and arcs over groups
Published in Des. Codes Cryptogr. 90 (2022), no. 9, 2069-2080
• View Publication
• BIB
In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $Ω$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$.
In this paper we investigate what happens if we have $m+r$ partitions with $r\geq 2$, any $m$ of which are minimal elements of a Cartesian lattice. If $m=2$, this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $m>2$, things are more restricted. Any $m+1$ of the partitions generate a join-semilattice admitting a diagonal group over a group $G$. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that $G$ must be abelian and must have three fixed-point-free automorphisms whose product is the identity. Under this hypothesis, such a structure gives an orthogonal array, and conversely in some cases.
If the group is cyclic of prime order $p$, then the structure corresponds exactly to an arc of cardinality $m+r$ in the $(m-1)$-dimensional projective space over the field with $p$ elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order $q$ give examples where $G$ is the elementary abelian group of order $q$. These examples can be lifted to non-elementary abelian groups using $p$-adic techniques.
The clustered selected-internal Steiner tree problem
Published
• View Publication
• BIB
Given a complete graph $G=(V,E)$, with nonnegative edge costs, two subsets $R \subset V$ and $R^{\prime} \subset R$, a partition $\mathcal{R}=\{R_1,R_2,\ldots,R_k\}$ of $R$, $R_i \cap R_j=φ$, $i \neq j$ and $\mathcal{R}^{\prime}=\{R^{\prime}_1,R^{\prime}_2,\ldots,R^{\prime}_k\}$ of $R^{\prime}$, $R^{\prime}_i \subset R_i$, a clustered Steiner tree is a tree $T$ of $G$ that spans all vertices in $R$ such that $T$ can be cut into $k$ subtrees $T_i$ by removing $k-1$ edges and each subtree $T_i$ spanning all vertices in $R_i$, $1 \leq i \leq k$. The cost of a clustered Steiner tree is defined to be the sum of the costs of all its edges. A clustered selected-internal Steiner tree of $G$ is a clustered Steiner tree for $R$ if all vertices in $R^{\prime}_i$ are internal vertices of $T_i$, $1 \leq i \leq k$. The clustered selected-internal Steiner tree problem is concerned with the determination of a clustered selected-internal Steiner tree $T$ for $R$ and $R^{\prime}$ in $G$ with minimum cost. In this paper, we present the first known approximation algorithm with performance ratio $(ρ+4)$ for the clustered selected-internal Steiner tree problem, where $ρ$ is the best-known performance ratio for the Steiner tree problem.
A new order on integer partitions
Considering Schur positivity of differences of plethysms of homogeneous symmetric functions, we introduce a new relation on integer partitions. This relation is conjectured to be a partial order, with its restriction to one part partitions equivalent to the classical Foulkes conjecture. We establish some of the properties of this relation via the construction of explicit inclusion of modules whose characters correspond to the plethysms considered. We also prove some stability properties for the number of irreducible occurring in these modules as $n$ grows.
An equivariant quantum Pieri rule for the Grassmannian on cylindric shapes
Published
• View Publication
• BIB
The quantum cohomology ring of the Grassmannian is determined by the quantum Pieri rule for multiplying by Schubert classes indexed by row or column-shaped partitions. We provide a direct equivariant generalization of Postnikov's quantum Pieri rule for the Grassmannian in terms of cylindric shapes, complementing related work of Gorbounov and Korff in quantum integrable systems. The equivariant terms in our Graham-positive rule simply encode the positions of all possible addable boxes within one cylindric skew diagram. As such, unlike the earlier equivariant quantum Pieri rule of Huang and Li and known equivariant quantum Littlewood-Richardson rules, our formula does not require any calculations in a different Grassmannian or two-step flag variety.
Discrete and continuous Muttalib--Borodin processes I: the hard edge
Published
• View Publication
• BIB
In this note we study a natural measure on plane partitions giving rise to a certain discrete-time Muttalib-Borodin process (MBP): each time-slice is a discrete version of a Muttalib-Borodin ensemble (MBE). The process is determinantal with explicit time-dependent correlation kernel. Moreover, in the $q \to 1$ limit, it converges to a continuous Jacobi-like MBP with Muttalib-Borodin marginals supported on the unit interval. This continuous process is also determinantal with explicit correlation kernel. We study its hard-edge scaling limit (around 0) to obtain a discrete-time-dependent generalization of the classical continuous Bessel kernel of random matrix theory (and, in fact, of the Meijer $G$-kernel as well). We lastly discuss two related applications: random sampling from such processes, and their interpretations as models of directed last passage percolation (LPP). In doing so, we introduce a corner growth model naturally associated to Jacobi processes, a version of which is the "usual" corner growth of Forrester-Rains in logarithmic coordinates. The aforementioned hard edge limits for our MBPs lead to interesting asymptotics for these LPP models. In particular, a special cases of our LPP asymptotics give rise (via the random matrix Bessel kernel and following Johansson's lead) to an extremal statistics distribution interpolating between the Tracy-Widom GUE and the Gumbel distributions.
Perfect colorings of the infinite square grid: coverings and twin colors
Published in Electron. J. Comb. 30(2) 2023, #P2.4(1-59)
• View Publication
• BIB
A perfect coloring (equivalent concepts are equitable partition and partition design) of a graph $G$ is a function $f$ from the set of vertices onto some finite set (of colors) such that every node of color $i$ has exactly $S(i,j)$ neighbors of color $j$, where $S(i,j)$ are constants, forming the matrix $S$ called quotient. If $S$ is an adjacency matrix of some simple graph $T$ on the set of colors, then $f$ is called a covering of the target graph $T$ by the cover graph $G$. We characterize all coverings by the infinite square grid, proving that every such coloring is either orbit (that is, corresponds to the orbit partition under the action of some group of graph automorphisms) or has twin colors (that is, two colors such that unifying them keeps the coloring perfect). The case of twin colors is separately classified.
Keywords: perfect coloring, equitable partition, partition design, square grid, rectangular grid, wallpaper group, twin colors, graph covering
Partition-theoretic formulas for arithmetic densities, II
Published
• View Publication
• BIB
In earlier work generalizing a 1977 theorem of Alladi, the authors proved a partition-theoretic formula to compute arithmetic densities of certain subsets of the positive integers $\mathbb N$ as limiting values of $q$-series as $q\to ζ$ a root of unity (instead of using the usual Dirichlet series to compute densities), replacing multiplicative structures of $\mathbb N$ by analogous structures in the integer partitions $\mathcal P$. In recent work, Wang obtains a wide generalization of Alladi's original theorem, in which arithmetic densities of subsets of prime numbers are computed as values of Dirichlet series arising from Dirichlet convolutions. Here the authors prove that Wang's extension has a partition-theoretic analogue as well, yielding new $q$-series density formulas for any subset of $\mathbb N$. To do so, we outline a theory of $q$-series density calculations from first principles, based on a statistic we call the "$q$-density" of a given subset. This theory in turn yields infinite families of further formulas for arithmetic densities.
Associahedra, cyclohedra and inversion of power series
We introduce the Hopf monoid of sets of cycles and paths, which contains the Faà di Bruno Hopf monoid as a submonoid. We give cancellation-free and grouping-free formulas for its antipode, one in terms of tubings and one in terms of \emph{pointed} noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph associahedra, we relate paths and cycles to associahedra and cyclohedra, respectively. We give formulas for inversion in the group of characters in terms of the faces of these polytopes.
Up- and Down-Operators on Young's Lattice
Published
• View Publication
• BIB
The up-operators $u_i$ and down-operators $d_i$ (introduced as Schur operators by Fomin) act on partitions by adding/removing a box to/from the $i$th column if possible. It is well known that the $u_i$ alone satisfy the relations of the (local) plactic monoid, and the present authors recently showed that relations of degree at most 4 suffice to describe all relations between the up-operators. Here we characterize the algebra generated by the up- and down-operators together, showing that it can be presented using only quadratic relations.
Gaussian Asymptotics of Jack Measures on Partitions from Weighted Enumeration of Ribbon Paths
Published
• View Publication
• BIB
In this paper we determine two asymptotic results for Jack measures on partitions, a model defined by two specializations of Jack polynomials proposed by Borodin-Olshanski in [European J. Combin. 26.6 (2005): 795-834]. Assuming these two specializations are the same, we derive limit shapes and Gaussian fluctuations for the anisotropic profiles of these random partitions in three asymptotic regimes associated to diverging, fixed, and vanishing values of the Jack parameter. To do so, we introduce a generalization of Motzkin paths we call "ribbon paths", show for general Jack measures that certain joint cumulants are weighted sums of connected ribbon paths on $n$ sites with $n-1+g$ pairings, and derive our two results from the contributions of $(n,g)=(1,0)$ and $(2,0)$, respectively. Our analysis makes use of Nazarov-Sklyanin's spectral theory for Jack polynomials. As a consequence, we give new proofs of several results for Schur measures, Plancherel measures, and Jack-Plancherel measures. In addition, we relate our weighted sums of ribbon paths to the weighted sums of ribbon graphs of maps on non-oriented real surfaces recently introduced by Chapuy-Dolęga.
A regular unimodular triangulation of reflexive 2-supported weighted projective space simplices
Published
• View Publication
• BIB
For each integer partition $\mathbf{q}$ with $d$ parts, we denote by $Δ_{(1,\mathbf{q})}$ the lattice simplex obtained as the convex hull in $\mathbb{R}^d$ of the standard basis vectors along with the vector $-\mathbf{q}$. For $\mathbf{q}$ with two distinct parts such that $Δ_{(1,\mathbf{q})}$ is reflexive and has the integer decomposition property, we establish a characterization of the lattice points contained in $Δ_{(1,\mathbf{q})}$. We then construct a Gröbner basis with a squarefree initial ideal of the toric ideal defined by these simplices. This establishes the existence of a regular unimodular triangulation for reflexive 2-supported $Δ_{(1,\mathbf{q})}$ having the integer decomposition property.
The metric space of limit laws for $q$-hook formulas
Published
• View Publication
• BIB
In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linear extensions of labeled forests. We show that, while their coefficients are ``generically'' asymptotically normal, there are uncountably many non-normal limit laws. More precisely, we introduce and completely describe the compact closure of the metric space of distributions of these statistics in several regimes. The additional limit distributions involve generalized uniform sum distributions which are topologically parameterized by certain decreasing sequence spaces with bounded $2$-norm. The closure of these distributions in the Lévy metric gives rise to the space of DUSTPAN distributions. As an application, we completely classify the limiting distributions of the size statistic on plane partitions fitting in a box.
More constructions for Sperner partition systems
Published
• View Publication
• BIB
An $(n,k)$-Sperner partition system is a set of partitions of some $n$-set such that each partition has $k$ nonempty parts and no part in any partition is a subset of a part in a different partition. The maximum number of partitions in an $(n,k)$-Sperner partition system is denoted $\mathrm{SP}(n,k)$. In this paper we introduce a new construction for Sperner partition systems based on a division of the ground set into many equal-sized parts. We use this to asymptotically determine $\mathrm{SP}(n,k)$ in many cases where $\frac{n}{k}$ is bounded as $n$ becomes large. Further, we show that this construction produces a Sperner partition system of maximum size for numerous small parameter sets $(n,k)$. By extending a separate existing construction, we also establish the asymptotics of $\mathrm{SP}(n,k)$ when $n \equiv k \pm 1 \pmod{2k}$ for almost all odd values of $k$.
Topological Recursion for the extended Ooguri-Vafa partition function of colored HOMFLY-PT polynomials of torus knots
Published in Adv. Theor. Math. Phys. 26 (2023), no. 4, 793-833
• View Publication
• BIB
We prove that topological recursion applied to the spectral curve of colored HOMFLY-PT polynomials of torus knots reproduces the n-point functions of a particular partition function called the extended Ooguri-Vafa partition function. This generalizes and refines the results of Brini-Eynard-Marino and Borot-Eynard-Orantin.
We also discuss how the statement of spectral curve topological recursion in this case fits into the program of Alexandrov-Chapuy-Eynard-Harnad of establishing the topological recursion for general weighted double Hurwitz numbers partition functions (a.k.a. KP tau-functions of hypergeometric type).
Valuations and the Hopf Monoid of Generalized Permutahedra
Published
• View Publication
• BIB
The goal of this paper is to show that valuation theory and Hopf theory are compatible on the class of generalized permutahedra. We prove that the Hopf structure $\mathbf{GP}^+$ on these polyhedra descends, modulo the inclusion-exclusion relations, to an indicator Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ of generalized permutahedra that is isomorphic to the Hopf monoid of weighted ordered set partitions. This quotient Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ is cofree. It is the terminal object in the category of Hopf monoids with polynomial characters; this partially explains the ubiquity of generalized permutahedra in the theory of Hopf monoids.
This Hopf theoretic framework offers a simple, unified explanation for many new and old valuations on generalized permutahedra and their subfamilies. Examples include, for matroids: the Chern-Schwartz-MacPherson cycles, Eur's volume polynomial, the Kazhdan-Lusztig polynomial, the motivic zeta function, and the Derksen-Fink invariant; for posets: the order polynomial, Poincaré polynomial, and poset Tutte polynomial; for generalized permutahedra: the universal Tutte character and the corresponding class in the Chow ring of the permutahedral variety.
We obtain several algebraic and combinatorial corollaries; for example: the existence of the valuative character group of $\mathbf{GP}^+$, and the indecomposability of a nestohedron into smaller nestohedra.
Area Statistics for Large Oscillating Tableaux
In this note we show that the area of the partitions making up an oscillating tableaux is described by a random walk on the first quadrant of $\mathbb{Z}^2$ with certain position dependent weights. We are able to recursively calculate the moments of the walk. As the length of the oscillating tableaux becomes large we show that this random walk converges to a Gaussian stochastic process.
A combinatorial approach to first degree cohomology of Specht modules
Using purely combinatorial methods we calculate the first degree cohomology of Specht modules indexed by two part partitions over fields of characteristic $p\ge 3$. These combinatorial methods also allow us to obtain an explicit description of all of the non-split extensions of the Specht module, $S^λ$, by the trivial module. Applying this work to partitions with more than two parts we are able to give an entirely combinatorial proof of the bound on the dimension of the first degree cohomology given by work of Donkin and Geranios. We also obtain as a corollary a result of Weber giving a far reaching condition determining partitions for which the first cohomology of the Specht module is trivial.