partition
6235 papers tagged with this keyword
Graphs Identified by Logics with Counting
Published
• View Publication
• BIB
We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a structure is identified by C2. Our classification implies that for every graph identified by this logic, all vertex-colored versions of it are also identified. A similar statement is true for finite relational structures.
We provide constructions that solve the inversion problem for finite structures in linear time. This problem has previously been shown to be polynomial time solvable by Martin Otto. For graphs, we conclude that every C2-equivalence class contains a graph whose orbits are exactly the classes of the C2-partition of its vertex set and which has a single automorphism witnessing this fact.
For general k, we show that such statements are not true by providing examples of graphs of size linear in k which are identified by C3 but for which the orbit partition is strictly finer than the Ck-partition. We also provide identified graphs which have vertex-colored versions that are not identified by Ck.
On the numbers of 1-factors and 1-factorizations of hypergraphs
Published
• View Publication
• BIB
A 1-factor of a hypergraph $G=(X,W)$ is a set of hyperedges such that every vertex of $G$ is incident to exactly one hyperedge from the set. A 1-factorization is a partition of all hyperedges of $G$ into disjoint 1-factors. The adjacency matrix of a $d$-uniform hypergraph $G$ is the $d$-dimensional (0,1)-matrix of order $|X|$ such that an element $a_{α_1, \ldots, α_d}$ of $A$ equals 1 if and only if $\left\{α_1, \ldots, α_d\right\}$ is a hyperedge of $G$. Here we estimate the number of 1-factors of uniform hypergraphs and the number of 1-factorizations of complete uniform hypergraphs by means of permanents of their adjacency matrices.
Fractional triangle decompositions in graphs with large minimum degree
Published
• View Publication
• BIB
A triangle decomposition of a graph is a partition of its edges into triangles. A fractional triangle decomposition of a graph is an assignment of a non-negative weight to each of its triangles such that the sum of the weights of the triangles containing any given edge is one. We prove that for all $ε> 0$, every large enough graph graph on $n$ vertices with minimum degree at least $(0.9 + ε)n$ has a fractional triangle decomposition. This improves a result of Garaschuk that the same result holds for graphs with minimum degree at least $0.956n$. Together with a recent result of Barber, Kühn, Lo and Osthus, this implies that for all $ε> 0$, every large enough triangle divisible graph on $n$ vertices with minimum degree at least $(0.9 + ε)n$ admits a triangle decomposition.
Four factorization formulas for plane partitions
Published
• View Publication
• BIB
All ten symmetry classes of plane partitions that fit in a given box are known to be enumerated by simple product formulas, but there is still no unified proof for all of them. Progress towards this goal can be made by establishing identities connecting the various symmetry classes. We present in this paper four such identities, involving all ten symmetry classes. We discuss their proofs and generalizations. The main result of this paper is to give a generalization of one of them, in the style of the identity presented in "A factorization theorem for rhombus tilings," M. Ciucu and C. Krattenthaler, arXiv:1403.3323.
Computing the partition function of a polynomial on the Boolean cube
Published
• View Publication
• BIB
For a polynomial f: {-1, 1}^n --> C, we define the partition function as the average of e^{lambda f(x)} over all points x in {-1, 1}^n, where lambda in C is a parameter. We present a quasi-polynomial algorithm, which, given such f, lambda and epsilon >0 approximates the partition function within a relative error of epsilon in N^{O(ln n -ln epsilon)} time provided |lambda| < 1/(2 L sqrt{deg f}), where L=L(f) is a parameter bounding the Lipschitz constant of f from above and N is the number of monomials in f. As a corollary, we obtain a quasi-polynomial algorithm, which, given such an f with coefficients +1 and -1 and such that every variable enters not more than 4 monomials, approximates the maximum of f on {-1, 1}^n within a factor of O(sqrt{deg f}/delta), provided the maximum is N delta for some 0< delta <1. If every variable enters not more than k monomials for some fixed k > 4, we are able to establish a similar result when delta > (k-1)/k.
On the number of principal ideals in d-tonal partition monoids
Published
• View Publication
• BIB
For a positive integer $d$, a non-negative integer $n$ and a non-negative integer $h\leq n$, we study the number $C_{n}^{(d)}$ of principal ideals; and the number $C_{n,h}^{(d)}$ of principal ideals generated by an element of rank $h$, in the $d$-tonal partition monoid on $n$ elements. We compute closed forms for the first family, as partial cumulative sums of known sequences. The second gives an infinite family of new integral sequences. We discuss their connections to certain integral lattices as well as to combinatorics of partitions.
A study of a family of generating functions of Nelsen-Schmidt type and some identities on restricted barred preferential arrangements
Published
• View Publication
• BIB
A preferential arrangement of a set $X_n=\{1,2,...,n\}$ is an ordered partition of the set $X_n$ induced with a linear order. Separation of blocks of a preferential arrangement with bars result in the notation of barred preferential arrangements. Roger Nelsen and Harvey Schmidt have proposed the family of generating functions $P^k(m)=\frac{e^{km}}{2-e^m}$; which for $k=0$ and for $k=2$ they have shown that the generating functions are exponential generating functions for the number of preferential arrangements of a set $X_n$ and the number of chains in the power set of $X_n$ respectively. In this study we propose combinatorial structures whose integer sequences are generated by members of the family for all values of $k$ in $\mathbb{Z}^+$. To do this we use a notion of restricted barred preferential arrangements. We then propose a more general family of generating functions
$P^{r}_{j}(m)=\frac{e^{rm}}{(2-e^m)^j}$ for $r,j\in\mathbb{Z^+}$. We derive some new identities on restricted barred preferential arrangements and give their combinatorial proofs. We also propose conjectures on number of restricted barred preferential arrangements.
On Some Identities of Barred Preferential Arrangements
A preferential arrangement of a finite set is an ordered partition. Associated with each such ordered partition is a chain of subsets or blocks endowed with a linear order. The chain may be split into sections by the introduction of a vertical bar, leading to the notion of a barred preferential arrangements. In this paper we derive some combinatorial identities satisfied by the number of possible barred preferential arrangements of an $n$-element set. We illustrate with some suitable examples highlighting some important consequences of the identities.
Counting hypergraph matchings up to uniqueness threshold
Published
• View Publication
• BIB
We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity parameter $λ$, each matching $M$ is assigned a weight $λ^{|M|}$. The counting problem is formulated as computing a partition function that gives the sum of the weights of all matchings in a hypergraph. This problem unifies two extensively studied statistical physics models in approximate counting: the hardcore model (graph independent sets) and the monomer-dimer model (graph matchings).
For this model, the critical activity $λ_c= \frac{d^d}{k (d-1)^{d+1}}$ is the threshold for the uniqueness of Gibbs measures on the infinite $(d+1)$-uniform $(k+1)$-regular hypertree. Consider hypergraphs of maximum degree at most $k+1$ and maximum size of hyperedges at most $d+1$. We show that when $λ< λ_c$, there is an FPTAS for computing the partition function; and when $λ= λ_c$, there is a PTAS for computing the log-partition function. These algorithms are based on the decay of correlation (strong spatial mixing) property of Gibbs distributions. When $λ> 2λ_c$, there is no PRAS for the partition function or the log-partition function unless NP$=$RP.
Towards obtaining a sharp transition of computational complexity of approximate counting, we study the local convergence from a sequence of finite hypergraphs to the infinite lattice with specified symmetry. We show a surprising connection between the local convergence and the reversibility of a natural random walk. This leads us to a barrier for the hardness result: The non-uniqueness of infinite Gibbs measure is not realizable by any finite gadgets.
Plane partitions in the work of Richard Stanley and his school
Published in in: "The Mathematical Legacy of Richard P. Stanley" P. Hersh, T. Lam, P. Pylyavskyy and V. Reiner (eds.), Amer. Math. Soc., R.I., 2016, pp. 246-277
• View Publication
• BIB
These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanley and his school.
Reduced word manipulation: patterns and enumeration
Published
• View Publication
• BIB
We develop the technique of reduced word manipulation to give a range of results concerning reduced words and permutations more generally. We prove a broad connection between pattern containment and reduced words, which specializes to our previous work for vexillary permutations. We also analyze general tilings of Elnitsky's polygon, and demonstrate that these are closely related to the patterns in a permutation. Building on previous work for commutation classes, we show that reduced word enumeration is monotonically increasing with respect to pattern containment. Finally, we give several applications of this work. We show that a permutation and a pattern have equally many reduced words if and only if they have the same length (equivalently, the same number of 21-patterns), and that they have equally many commutation classes if and only if they have the same number of 321-patterns. We also apply our techniques to enumeration problems of pattern avoidance, and give a bijection between 132-avoiding permutations of a given length and partitions of that same size, as well as refinements of this data and a connection to the Catalan numbers.
Colored partitions of a convex polygon by noncrossing diagonals
Published in Discrete Math. 340 (2017), no. 4, 563-571
• View Publication
• BIB
For any positive integers $a$ and $b$, we enumerate all colored partitions made by noncrossing diagonals of a convex polygon into polygons whose number of sides is congruent to $b$ modulo $a$. For the number of such partitions made by a fixed number of diagonals, we give both a recurrence relation and an explicit representation in terms of partial Bell polynomials. We use basic properties of these polynomials to efficiently incorporate restrictions on the type of polygons allowed in the partitions.
Generalized q-Calkin-Wilf trees and c-hyper m-expansions of integers
A hyperbinary expansion of a positive integer n is a partition of n into powers of 2 in which each part appears at most twice. In this paper, we consider a generalization of this concept and a certain statistic on the corresponding set of expansions of n. We then define q-generalized m-ary trees whose vertices are labeled by ratios of two consecutive terms within the sequence of distribution polynomials for the aforementioned statistic. When m = 2, we obtain a variant of a previously considered q-Calkin-Wilf tree.
Combinatorial theory of permutation-invariant random matrices I: partitions, geometry and renormalization
In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an integer parameter N. Then we emulate the theory of random matrices in a combinatorial framework: for any parameter N, we introduce a family of linear forms on the partition algebras which allows us to define a notion of weak convergence similar to the convergence in moments in random matrices theory. A renormalization of the partition algebras allows us to consider the weak convergence as a simple convergence in a fixed space. This leads us to the definition of a deformed partition algebra for any integer parameter N and to the definition of two transforms: the cumulants transform and the exclusive moments transform. Using an improved triangular inequality for the distance defined on partitions, we prove that the deformed partition algebras, endowed with a deformation of the linear forms converge as N go to infinity. This result allows us to prove combinatorial properties about geodesics and a convergence theorem for semi-groups of functions on partitions. At the end we study a sub-algebra of functions on infinite partitions with finite support : a new addition operation and a notion of R-transform are defined. We introduce the set of multiplicative functions which becomes a Lie group for the new addition and multiplication operations. For each of them, the Lie algebra is studied. The appropriate tools are developed in order to understand the algebraic fluctuations of the moments and cumulants for converging sequences. This allows us to extend all the results we got for the zero order of fluctuations to any order.
Sigma clique covering of graphs
The sigma clique cover number (resp. sigma clique partition number) of graph G, denoted by scc(G) (resp. scp(G)), is defined as the smallest integer k for which there exists a collection of cliques of G, covering (resp. partitioning) all edges of G such that the sum of sizes of the cliques is at most k. In this paper, among some results we provide some tight bounds for scc and scp.
Binary linear codes via 4D discrete Ihara-Selberg function
Published
• View Publication
• BIB
We express the weight enumerator of each binary linear code, in particular the Ising partition function of an arbitrary finite graph, as a formal infinite product. An analogous result was obtained by Feynman and Sherman in the beginning of the 1960's for the special case of the Ising partition function of planar graphs. A product expression is an important step towards understanding the logarithm of the Ising partition function, for general graphs and in particular for cubic 3D lattices.
On the existence of real R-matrices for virtual link invariants
Published
• View Publication
• BIB
We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon-Wales theorem on the decomposition of Brauer algebras, and the Procesi-Schwarz theorem on inequalities for closed orbits.
A combinatorial approach to the q,t-symmetry relation in Macdonald polynomials
Published
• View Publication
• BIB
Using the combinatorial formula for the transformed Macdonald polynomials of Haglund, Haiman, and Loehr, we investigate the combinatorics of the symmetry relation $\widetilde{H}_μ(\mathbf{x};q,t) = \widetilde{H}_{μ^\ast}(\mathbf{x};t,q)$. We provide a purely combinatorial proof of the relation in the case of Hall-Littlewood polynomials ($q=0$) when $μ$ is a partition with at most three rows, and for the coefficients of the square-free monomials in $\mathbf{x}$ for all shapes $μ$. We also provide a proof for the full relation in the case when $μ$ is a hook shape, and for all shapes at the specialization $t=1$. Our work in the Hall-Littlewood case reveals a new recursive structure for the cocharge statistic on words.
Noncrossing partitions and Bruhat order
Published
• View Publication
• BIB
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxeter elements.
Cataland: Why the Fuss?
Published
• View Publication
• BIB
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.