partition
6235 papers tagged with this keyword
Combinatorial Gray codes-an updated survey
A combinatorial Gray code for a class of objects is a listing that contains each object from the class exactly once such that any two consecutive objects in the list differ only by a `small change'. Such listings are known for many different combinatorial objects, including bitstrings, combinations, permutations, partitions, triangulations, but also for objects defined with respect to a fixed graph, such as spanning trees, perfect matchings or vertex colorings. This survey provides a comprehensive picture of the state-of-the-art of the research on combinatorial Gray codes. In particular, it gives an update on Savage's influential survey [C. D. Savage. A survey of combinatorial Gray codes. SIAM Rev., 39(4):605--629, 1997.], incorporating many more recent developments. We also emphasize the connections to closely related problems in graph theory, algebra, order theory, geometry and algorithms, which embeds this research area into a broader context. Lastly, we collect and propose a number of challenging research problems, thus stimulating new research endeavors.
Characterization of the alldifferent kernel by Hall partitions and a calculation method
We consider a set-valued mapping between two finite sets and define the alldifferent kernel which describes the submapping of alldifferent selections. This submapping is characterized by Hall partitions which are introduced in this paper. The existence of a Hall partition is equivalent to the Hall condition. The unicity of Hall partitions is proved and the unicity of an alldifferent selection is characterized. A calculation method for the determination of the Hall partition and the alldifferent kernel is presented.
Log-Concavity of Infinite Product Generating Functions
Published
• View Publication
• BIB
In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for $d=1$. Recently, Ono, Pujahari, and Rolen have extended the result to $d=2$. Note that $p_1(n)=p(n)$ is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for $p_d(n)$ for general $d$. Let $n \geq 6$. Then $p_d(n)$ is almost log-concave for $n$ divisible by $3$ and almost strictly log-convex otherwise.
Explicit formulas for e-positivity of chromatic quasisymmetric functions
In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetric function of any natural unit interval order is $e$-positive and $e$-unimodal.
For a given natural interval order, there is a corresponding partition $λ$ and we denote the chromatic quasisymmetric function by $X_λ$. The first author introduced local linear relations for chromatic quasisymmetric functions. In this paper, we prove a powerful generalization of the above-mentioned local linear relations, called a rectangular lemma, which also generalizes the result of Huh,Nam and Yoo. Such a lemma can be applied to describe explicit formulas for $e$-positivity of a chromatic symmetric function $X_λ$ where $λ$ is contained in a rectangle. We also suggest some conjectural formulas for $e$-positivity when $λ$ is not contained in a rectangle by applying the rectangular lemma.
Alternating sign matrices and totally symmetric plane partitions
Published
• View Publication
• BIB
We introduce a new family $\mathcal{A}_{n,k}$ of Schur positive symmetric functions, which are defined as sums over totally symmetric plane partitions. In the first part, we show that, for $k=1$, this family is equal to a multivariate generating function involving $n+3$ variables of objects that extend alternating sign matrices (ASMs), which have recently been introduced by the authors. This establishes a new connection between ASMs and a class of plane partitions, thereby complementing the fact that ASMs are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. The proof is based on a new antisymmetrizer-to-determinant formula for which we also provide a bijective proof. In the second part, we relate three specialisation of $\mathcal{A}_{n,k}$ to a weighted enumeration of certain well-known classes of column strict shifted plane partitions that generalise descending plane partitions.
The Gini Index in Algebraic Combinatorics and Representation Theory
The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the "Lorenz curve" of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we will define a Gini index on the set of integer partitions and prove some combinatorial results related to it; culminating in the proof of an identity for the expected value of the Gini index. We will then discuss symmetric polynomials, and show that the Gini index can be understood as the degrees of certain Kostka-foulkes polynomials. This identification yields a generalization whereby we may define a Gini index on the irreducible representations of a complex reflection group, or connected reductive linear algebraic group.
New results on the robust coloring problem
Published
• View Publication
• BIB
Many variations of the classical graph coloring model have been intensively studied due to their multiple applications; scheduling problems and aircraft assignments, for instance, motivate the robust coloring problem. This model gets to capture natural constraints of those optimization problems by combining the information provided by two colorings: a vertex coloring of a graph and the induced edge coloring on a subgraph of its complement; the goal is to minimize, among all proper colorings of the graph for a fixed number of colors, the number of edges in the subgraph with the endpoints of the same color. The study of the robust coloring model has been focused on the search for heuristics due to its NP-hard character when using at least three colors, but little progress has been made in other directions. We present a new approach on the problem obtaining the first collection of non-heuristic results for general graphs; among them, we prove that robust coloring is the model that better approaches the equitable partition of the vertex set, even when the graph does not admit a so-called \emph{equitable coloring}. We also show the NP-completeness of its decision problem for the unsolved case of two colors, obtain bounds on the associated robust coloring parameter, and solve a conjecture on paths that illustrates the complexity of studying this coloring model.
Geometric properties of spin clusters in random triangulations coupled with an Ising Model
We investigate the geometry of a typical spin cluster in random triangulations sampled with a probability proportional to the energy of an Ising configuration on their vertices, both in the finite and infinite volume settings. This model is known to undergo a combinatorial phase transition at an explicit critical temperature, for which its partition function has a different asymptotic behavior than uniform maps. The purpose of this work is to give geometric evidence of this phase transition.
In the infinite volume setting, called the Infinite Ising Planar Triangulation, we exhibit a phase transition for the existence of an infinite spin cluster: for critical and supercritical temperatures, the root spin cluster is finite almost surely, while it is infinite with positive probability for subcritical temperatures. Remarkably, we are able to obtain an explicit parametric expression for this probability, which allows to prove that the percolation critical exponent is $β=1/4$.
We also derive critical exponents for the tail distribution of the perimeter and of the volume of the root spin cluster, both in the finite and infinite volume settings. Finally, we establish the scaling limit of the interface of the root spin cluster seen as a looptree. In particular in the whole supercritical temperature regime, we prove that the critical exponents and the looptree limit are the same as for critical Bernoulli site percolation.
Our proofs mix combinatorial and probabilistic arguments. The starting point is the gasket decomposition, which makes full use of the spatial Markov property of our model. This decomposition enables us to characterize the root spin cluster as a Boltzmann planar map in the finite volume setting. We then combine precise combinatorial results obtained through analytic combinatorics and universal features of Boltzmann maps to establish our results.
Quasisymmetric functions distinguishing trees
Published in Algebraic Combinatorics, Volume 6 (2023) no. 3, pp. 595-614
• View Publication
• BIB
A famous conjecture of Stanley states that his chromatic symmetric function distinguishes trees. As a quasisymmetric analogue, we conjecture that the chromatic quasisymmetric function of Shareshian and Wachs and of Ellzey distinguishes directed trees. This latter conjecture would be implied by an affirmative answer to a question of Hasebe and Tsujie about the $P$-partition enumerator distinguishing posets whose Hasse diagrams are trees. They proved the case of rooted trees and our results include a generalization of their result.
Combinatorial identities associated with a bivariate generating function for overpartition pairs
Published
• View Publication
• BIB
We obtain a three-parameter $q$-series identity that generalizes two results of Chan and Mao. By specializing our identity, we derive new results of combinatorial significance in connection with $N(r, s, m, n)$, a function counting certain overpartition pairs recently introduced by Bringmann, Lovejoy and Osburn. For example, one of our identities gives a closed-form evaluation of a double series in terms of Chebyshev polynomials of the second kind, thereby resulting in an analogue of Euler's pentagonal number theorem. Another of our results expresses a multi-sum involving $N(r, s, m, n)$ in terms of just the partition function $p(n)$. Using a result of Shimura we also relate a certain double series with a weight 7/2 theta series.
Minimal Constructible Sets
Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family. Problems encountered in this research include the minimum number of steps required to arrive to the last family as well as a characterization of that last family; we solve all those problems. We also define a class of simple families ($n$-minimal constructible) and we analyze the relationships between partitions and separability (our new concept) that lead to interesting results such as finding families based on partitions that generate finite algebras. We prove a number of new results about $n$-minimal constructible families; one major result is that every finite algebra of sets has a generating family which is $n$-minimal constructible for all natural $n$ and we compute the minimum number of steps required to generate an algebra. Another interesting result is a connection between this construction process and Baire's Theorem. This work has a number of possible applications, particularly in the fields of economics and computer science.
Efficient Algorithms for Approximating Quantum Partition Functions at Low Temperature
Published in Quantum 7, 1155 (2023)
• View Publication
• BIB
We establish an efficient approximation algorithm for the partition functions of a class of quantum spin systems at low temperature, which can be viewed as stable quantum perturbations of classical spin systems. Our algorithm is based on combining the contour representation of quantum spin systems of this type due to Borgs, Kotecký, and Ueltschi with the algorithmic framework developed by Helmuth, Perkins, and Regts, and Borgs et al.
Distributions of Hook lengths in integer partitions
Published
• View Publication
• BIB
Motivated by the many roles that hook lengths play in mathematics, we study the distribution of the number of $t$-hooks in the partitions of $n$. We prove that the limiting distribution is normal with mean $μ_t(n)\sim \frac{\sqrt{6n}}π-\frac{t}{2}$ and variance $σ_t^2(n)\sim \frac{(π^2-6)\sqrt{6n}}{2π^3}.$ Furthermore, we prove that the distribution of the number of hook lengths that are multiples of a fixed $t\geq 4$ in partitions of $n$ converge to a shifted Gamma distribution with parameter $k=(t-1)/2$ and scale $θ=\sqrt{2/(t-1)}.$
Generalization of the Extended Minimal Excludant of Andrews and Newman
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.3.7
• Search Publication
In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the extended mex function with the number of partitions of an integer with arbitrary bound on the rank and crank. We also derive a new result expressing the smallest parts function of Andrews as a finite sum of the extended mex function in consideration with a curious coefficient. We also obtain a few restricted partition identities with some reminiscent of shifted partition identities. Finally, we define and explore a new minimal excludant for overpartitions.
On (almost) $2$-$Y$-homogeneous distance-biregular graphs
Let $Γ$ denote a bipartite graph with vertex set $X$, color partitions $Y$, $Y'$, and assume that every vertex in $Y$ has eccentricity $D\ge 3$. For $z\in X$ and a non-negative integer $i$, let $Γ_{i}(z)$ denote the set of vertices in $X$ that are at distance $i$ from $z$. Graph $Γ$ is almost $2$-$Y$-homogeneous whenever for all $i \; (1\leq i \leq D-2)$ and for all $x\in Y$, $y \in Γ_2(x)$ and $z \in Γ_{i}(x)\capΓ_i(y)$, the number of common neighbours of $x$ and $y$ which are at distance $i-1$ from $z$ is independent of the choice of $x$, $y$ and $z$. In addition, if the above condition holds also for $i=D-1$, then we say that $Γ$ is $2$-$Y$-homogeneous.
Now, let $Γ$ denote a distance-biregular graph. In this paper we study the intersection arrays of $Γ$ and we give sufficient and necessary conditions under which $Γ$ is (almost) $2$-$Y$-homogeneous. In the case when $Γ$ is $2$-$Y$-homogeneous we write the intersection numbers of the color class $Y$ in terms of three parameters.
Finding a second Hamiltonian decomposition of a 4-regular multigraph by integer linear programming
Published
• View Publication
• BIB
A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. We consider the second Hamiltonian decomposition problem: for a 4-regular multigraph find 2 edge-disjoint Hamiltonian cycles different from the given ones. This problem arises in polyhedral combinatorics as a sufficient condition for non-adjacency in the 1-skeleton of the travelling salesperson polytope. We introduce two integer linear programming models for the problem based on the classical Dantzig-Fulkerson-Johnson and Miller-Tucker-Zemlin formulations for the travelling salesperson problem. To enhance the performance on feasible problems, we supplement the algorithm with a variable neighbourhood descent heuristic w.r.t. two neighbourhood structures, and a chain edge fixing procedure. Based on the computational experiments, the Dantzig-Fulkerson-Johnson formulation showed the best results on directed multigraphs, while on undirected multigraphs, the variable neighbourhood descent heuristic was especially effective.
On generalizations of theorems of MacMahon and Subbarao
Published
• View Publication
• BIB
In this paper, we consider various theorems of P.A. MacMahon and M.V. Subbarao. For a non-negative integer $n$, MacMahon proved that the number of partitions of $n$ wherein parts have multiplicity greater than 1 is equal to the number of partitions of $n$ in which odd parts are congruent to 3 modulo 6. We give a new bijective proof for this theorem and its generalization, which consequently provides a new proof of Andrews' extension of the theorem. We also generalize Subbarao's finitization of Andrews' extension. This generalization is based on Glaisher's extension of Euler's mapping for odd-distinct partitions and as a result, a bijection given by Sellers and Fu is also extended. Unlike in the case of Sellers and Fu where two residue classes are fixed, ours takes into consideration all possible residue classes. Furthermore, some arithmetic properties of related partition functions are derived
Weighted cylindric partitions
Published
• View Publication
• BIB
Recently Corteel and Welsh outlined a technique for finding new sum-product identities by using functional relations between generating functions for cylindric partitions and a theorem of Borodin. Here, we extend this framework to include very general product-sides coming from work of Han and Xiong. In doing so, we are led to consider structures such as weighted cylindric partitions, symmetric cylindric partitions and weighted skew double shifted plane partitions. We prove some new identities and obtain new proofs of known identities, including the Göllnitz-Gordon and Little Göllnitz identities as well as some beautiful Schmidt-type identities of Andrews and Paule.
Neighborly partitions and the numerators of Rogers-Ramanujan identities
Published
• View Publication
• BIB
We prove two partition identities which are dual to the Rogers-Ramanujan identities. These identities are inspired by (and proved using) a correspondence between three kinds of objects: a new type of partitions (neighborly partitions), monomial ideals and some infinite graphs.
Sharp bounds on the least eigenvalue of a graph determined from edge clique partitions
Published
• View Publication
• BIB
Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this eigenvalue is $(n-3)^2$. Additionally, some results on the edge clique partition graph parameters are obtained.