partition
6235 papers tagged with this keyword
A multiset hook length formula and some applications
Published
• View Publication
• BIB
A multiset hook length formula for integer partitions is established by using combinatorial manipulation. As special cases, we rederive three hook length formulas, two of them obtained by Nekrasov-Okounkov, the third one by Iqbal, Nazir, Raza and Saleem, who have made use of the cyclic symmetry of the topological vertex. A multiset hook-content formula is also proved.
A generalization of the Erdős-Turán law for the order of random permutation
Published
• View Publication
• BIB
We consider random permutations derived by sampling from stick-breaking partitions of the unit interval. The cycle structure of such a permutation can be associated with the path of a decreasing Markov chain on $n$ integers. Under certain assumptions on the stick-breaking factor we prove a central limit theorem for the logarithm of the order of the permutation, thus extending the classical Erdős-Turán law for the uniform permutations and its generalization for Ewens' permutations associated with sampling from the PD/GEM$(θ)$ distribution. Our approach is based on using perturbed random walks to obtain the limit laws for the sum of logarithms of the cycle lengths.
Some results on triangle partitions
We show that there exist efficient algorithms for the triangle packing problem in colored permutation graphs, complete multipartite graphs, distance-hereditary graphs, k-modular permutation graphs and complements of k-partite graphs (when k is fixed). We show that there is an efficient algorithm for C_4-packing on bipartite permutation graphs and we show that C_4-packing on bipartite graphs is NP-complete. We characterize the cobipartite graphs that have a triangle partition.
On topological properties of families of finite sets
Published in Journal of Combinatorial Theory, Series A, Volume 119, Issue 5, July 2012, Pages 1066-1077
• Search Publication
We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these results with a topological partition problem of uniform families.
On the locating chromatic number of Kneser graphs
Published
• View Publication
• BIB
Let $c$ be a proper $k$-coloring of a connected graph $G$ and $Π=(C_1,C_2,...,C_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $$c_{{}_Π}(v):=(d(v,C_1),d(v,C_2),...,d(v,C_k)),$$ where $d(v,C_i)=\min\{d(v,x) |x\in C_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $c$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic number of Kneser graphs. First, among some other results we show that $\Cchi_{{}_L}(KG(n,2))=n-1$ for all $n\geq 5$. Then, we prove that $\Cchi_{{}_L}(KG(n,k))\leq n-1$, when $n\geq k^2$. Moreover, we present some bounds for the locating chromatic number of odd graphs.
Extremal sizes of subspace partitions
Published
• View Publication
• BIB
A subspace partition $Π$ of $V=V(n,q)$ is a collection of subspaces of $V$ such that each 1-dimensional subspace of $V$ is in exactly one subspace of $Π$. The size of $Π$ is the number of its subspaces. Let $σ_q(n,t)$ denote the minimum size of a subspace partition of $V$ in which the largest subspace has dimension $t$, and let $ρ_q(n,t)$ denote the maximum size of a subspace partition of $V$ in which the smallest subspace has dimension $t$. In this paper, we determine the values of $σ_q(n,t)$ and $ρ_q(n,t)$ for all positive integers $n$ and $t$. Furthermore, we prove that if $n\geq 2t$, then the minimum size of a maximal partial $t$-spread in $V(n+t-1,q)$ is $σ_q(n,t)$.
Asymptotic Enumeration of Non-crossing Partitions on Surfaces
We generalize the notion of non-crossing partition on a disk to general surfaces with boundary. For this, we consider a surface $Σ$ and introduce the number $C_Σ(n)$ of non-crossing partitions of a set of $n$ points laying on the boundary of $Σ$. Our proofs use bijective techniques arising from map enumeration, joint with the symbolic method and singularity analysis on generating functions. An outcome of our results is that the exponential growth of $C_Σ(n)$ is the same as the one of the $n$-th Catalan number, i.e., does not change when we move from the case where $Σ$ is a disk to general surfaces with boundary.
Dynamic Programming for Graphs on Surfaces
We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique applies to general families of problems where standard dynamic programming runs in 2^{O(k log k)} n steps. Our approach combines tools from topological graph theory and analytic combinatorics. In particular, we introduce a new type of branch decomposition called "surface cut decomposition", generalizing sphere cut decompositions of planar graphs introduced by Seymour and Thomas, which has nice combinatorial properties. Namely, the number of partial solutions that can be arranged on a surface cut decomposition can be upper-bounded by the number of non-crossing partitions on surfaces with boundary. It follows that partial solutions can be represented by a single-exponential (in the branchwidth k) number of configurations. This proves that, when applied on surface cut decompositions, dynamic programming runs in 2^{O(k)} n steps. That way, we considerably extend the class of problems that can be solved in running times with a single-exponential dependence on branchwidth and unify/improve most previous results in this direction.
Random permutations and related topics
Published
• View Publication
• BIB
We present an overview of selected topics in random permutations and random partitions highlighting analogies with random matrix theory.
On perfect 2-colorings of the q-ary n-cube
Published in Discrete Math. 2012. V. 312, N 6. P. 1269--1272
• View Publication
• BIB
A coloring of the $q$-ary $n$-dimensional cube (hypercube) is called perfect if, for every $n$-tuple $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean-valued function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-dimensional face of the hypercube. Let $f=χ^S$ be a characteristic function of some subset $S$ of hypercube. In the present paper it is proven the inequality $ρ(S)q({\rm cor}(f)+1)\leq α(S)$, where ${\rm cor}(f)$ is the maximum degree of the correlation immunity of $f$, $α(S)$ is the average number of neighbors in the set $S$ for $n$-tuples in the complement of a set $S$, and $ρ(S)=|S|/q^n$ is the density of the set $S$.
Moreover, the function $f$ is a perfect coloring if and only if we obtain an equality in the above formula.Also we find new lower bound for the cardinality of components of perfect coloring and 1-perfect code in the case $q>2$.
Keywords: hypercube, perfect coloring, perfect code, MDS code, bitrade, equitable partition, orthogonal array.
Algebraic formulas for the coefficients of half-integral weight harmonic weak Maass forms
Published
• View Publication
• BIB
We prove that the coefficients of certain weight -1/2 harmonic Maass forms are traces of singular moduli for weak Maass forms. To prove this theorem, we construct a theta lift from spaces of weight -2 harmonic weak Maass forms to spaces of weight -1/2 vector-valued harmonic weak Maass forms on Mp_2(Z), a result which is of independent interest. We then prove a general theorem which guarantees (with bounded denominator) when such Maass singular moduli are algebraic. As an example of these results, we derive a formula for the partition function p(n) as a finite sum of algebraic numbers which lie in the usual discriminant -24n+1 ring class field. We indicate how these results extend to general weights. In particular, we illustrate how one can compute theta lifts for general weights by making use of the Kudla-Millson kernel and Maass differential operators.
Gerechte Designs with Rectangular Regions
Published
• View Publication
• BIB
A \emph{gerechte framework} is a partition of an $n \times n$ array into $n$ regions of $n$ cells each. A \emph{realization} of a gerechte framework is a latin square of order $n$ with the property that when its cells are partitioned by the framework, each region contains exactly one copy of each symbol. A \emph{gerechte design} is a gerechte framework together with a realization.
We investigate gerechte frameworks where each region is a rectangle. It seems plausible that all such frameworks have realizations, and we present some progress towards answering this question. In particular, we show that for all positive integers $s$ and $t$, any gerechte framework where each region is either an $s \times t$ rectangle or a $t\times s$ rectangle is realizable.
On the binary codes with parameters of triply-shortened 1-perfect codes
Published in Des. Codes Cryptogr. 64(3) 2012, 275-283
• View Publication
• BIB
We study properties of binary codes with parameters close to the parameters of 1-perfect codes. An arbitrary binary $(n=2^m-3, 2^{n-m-1}, 4)$ code $C$, i.e., a code with parameters of a triply-shortened extended Hamming code, is a cell of an equitable partition of the $n$-cube into six cells. An arbitrary binary $(n=2^m-4, 2^{n-m}, 3)$ code $D$, i.e., a code with parameters of a triply-shortened Hamming code, is a cell of an equitable family (but not a partition) from six cells. As a corollary, the codes $C$ and $D$ are completely semiregular; i.e., the weight distribution of such a code depends only on the minimal and maximal codeword weights and the code parameters. Moreover, if $D$ is self-complementary, then it is completely regular. As an intermediate result, we prove, in terms of distance distributions, a general criterion for a partition of the vertices of a graph (from rather general class of graphs, including the distance-regular graphs) to be equitable. Keywords: 1-perfect code; triply-shortened 1-perfect code; equitable partition; perfect coloring; weight distribution; distance distribution
Perfect matchings in 3-partite 3-uniform hypergraphs
Published in J. Combinatorial Theory Series A 127 (2014) 22-57
• View Publication
• BIB
Let $H$ be a $3$-partite $3$-uniform hypergraph, i.e. a $3$-uniform hypergraph such that every edge intersects every partition class in exactly one vertex, with each partition class of size $n$. We determine a Dirac-type vertex degree threshold for perfect matchings in $3$-partite $3$-uniform hypergraphs.
Integrability of Hurwitz Partition Functions. I. Summary
Published in J. Phys. A: Math. Theor. 45 (2012) 045209
• View Publication
• BIB
Partition functions often become τ-functions of integrable hierarchies, if they are considered dependent on infinite sets of parameters called time variables. The Hurwitz partition functions Z = \sum_R d_R^{2-k}χ_R(t^{(1)})...χ_R(t^{(k)})\exp(\sum_n ξ_nC_R(n)) depend on two types of such time variables, t and ξ. KP/Toda integrability in t requires that k\leq 2 and also that C_R(n) are selected in a rather special way, in particular the naive cut-and-join operators are not allowed for n>2. Integrability in ξfurther restricts the choice of C_R(n), forbidding, for example, the free cumulants. It also requires that k\leq 1. The quasiclassical integrability (the WDVV equations) is naturally present in ξvariables, but also requires a careful definition of the generating function.
Nonlocal, noncommutative diagrammatics and the linked cluster Theorems
Published
• View Publication
• BIB
Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertices of the graphs. In some others (introduced in the present article), the diagrams, associated to noncommuting product of operators inherit from the noncommutativity of the products extra graphical properties. The purpose of the present article is to introduce a general way of dealing with such diagrams. We prove in particular a "universal" linked cluster theorem and introduce, in the process, a Feynman-type "diagrammatics" that allows to handle simultaneously nonlocal (Coulomb-type) interactions, the generalized diagrams arising from the study of interacting systems (such as the ones where the ground state is not the vacuum but e.g. a vacuum perturbed by a magnetic or electric field, by impurities...) or Wightman fields (that is, expectation values of products of interacting fields). Our diagrammatics seems to be the first attempt to encode in a unified algebraic framework such a wide variety of situations. In the process, we promote two ideas. First, Feynman-type diagrammatics belong mathematically to the theory of linear forms on combinatorial Hopf algebras. Second, linked cluster-type theorems rely ultimately on Möbius inversion on the partition lattice. The two theories should therefore be introduced and presented accordingly
Partitioning in the space of antimonotonic functions
This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial ordering on this set. We study the inter- vals according to this ordering. We show how intervals of antimonotonic functions, and a fortiori the whole space of antimonotonic functions can be partitioned as disjoint unions of certain classes of intervals. These in- tervals are uniquely determined by antimonotonic functions on smaller sets. This leads to recursive enumeration algorithms and new recursion relations. Using various decompositions, we derive new recursion formu- lae for the number of antimonotonic functions and hence for the number of monotonic functions (i.e. the Dedekind number).
On the weighted enumeration of alternating sign matrices and descending plane partitions
Published in J. Combin. Theory Ser. A 119 (2012) 331-363
• View Publication
• BIB
We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for which the 1 of the first row is in column k+1 and there are exactly m -1's and m+p inversions is equal to the number of descending plane partitions (DPPs) for which each part is at most n and there are exactly k parts equal to n, m special parts and p nonspecial parts. The proof involves expressing the associated generating functions for ASMs and DPPs with fixed n as determinants of nxn matrices, and using elementary transformations to show that these determinants are equal. The determinants themselves are obtained by standard methods: for ASMs this involves using the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions, together with a bijection between ASMs and configurations of this model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem, together with a bijection between DPPs and certain sets of nonintersecting lattice paths.
A survey of the different types of vector space partitions
Published
• View Publication
• BIB
A {\it vector space partition} is here a collection $\mathcal P$ of subspaces of a finite vector space $V(n,q)$, of dimension $n$ over a finite field with $q$ elements, with the property that every non zero vector is contained in a unique member of $\mathcal P$. Vector space partitions relates to finite projective planes, design theory and error correcting codes.
In the first part of the talk I will discuss some relations between vector space partitions and other branches of mathematics. The other part of the talk contains a survey of known results on the type of a vector space partition, more precisely: the theorem of Beutelspacher and Heden on $\mathrm{T}$-partitions, rather recent results of El-Zanati et al. on the different types that appear in the spaces V(n,2), for $n\leq8$, a result of Heden and Lehmann on vector space partitions and maximal partial spreads including their new necessary condition for the existence of a vector space partition, and furthermore, I will give a theorem of Heden on the length of the tail of a vector space partition.
Finally, I will also give a few historical remarks.
Mahonian Partition Identities Via Polyhedral Geometry
Published in From Fourier Analysis and Number Theory to Radon Transforms and Geometry: In Memory of Leon Ehrenpreis (H. Farkas, R. Gunning, M. Knopp, and B. A. Taylor, eds.), Developments in Mathematics 28 (2013), 41-54
• View Publication
• BIB
In a series of papers, George Andrews and various coauthors successfully revitalized seemingly forgotten, powerful machinery based on MacMahon's $Ω$ operator to systematically compute generating functions $\sum_{\la \in P} z_1^{\la_1}...z_n^{\la_n}$ for some set $P$ of integer partitions $\la = (\la_1,..., \la_n)$. Our goal is to geometrically prove and extend many of the Andrews et al theorems, by realizing a given family of partitions as the set of integer lattice points in a certain polyhedron.