partition
6235 papers tagged with this keyword
Partitioning a Graph into Disjoint Cliques and a Triangle-free Graph
Published
• View Publication
• BIB
A graph $G = (V, E)$ is \emph{partitionable} if there exists a partition $\{A, B\}$ of $V$ such that $A$ induces a disjoint union of cliques and $B$ induces a triangle-free graph. In this paper we investigate the computational complexity of deciding whether a graph is partitionable. The problem is known to be $\NP$-complete on arbitrary graphs. Here it is proved that if a graph $G$ is bull-free, planar, perfect, $K_4$-free or does not contain certain holes then deciding whether $G$ is partitionable is $\NP$-complete. This answers an open question posed by Thomass{é}, Trotignon and Vuškovi{ć}. In contrast a finite list of forbidden induced subgraphs is given for partitionable cographs.
Monochromatic cycle partitions in local edge colourings
Published
• View Publication
• BIB
An edge colouring of a graph is said to be an $r$-local colouring if the edges incident to any vertex are coloured with at most $r$ colours. Generalising a result of Bessy and Thomassé, we prove that the vertex set of any $2$-locally coloured complete graph may be partitioned into two disjoint monochromatic cycles of different colours. Moreover, for any natural number $r$, we show that the vertex set of any $r$-locally coloured complete graph may be partitioned into $O(r^2 \log r)$ disjoint monochromatic cycles. This generalises a result of Erdős, Gyárfás and Pyber.
Kronecker Coefficients For Some Near-Rectangular Partitions
Published
• View Publication
• BIB
We give formulae for computing Kronecker coefficients occurring in the expansion of $s_μ*s_ν$, where both $μ$ and $ν$ are nearly rectangular, and have smallest parts equal to either 1 or 2. In particular, we study $s_{(n,n-1,1)}*s_{(n,n)}$, $s_{(n-1,n-1,1)}*s_{(n,n-1)}$, $s_{(n-1,n-1,2)}*s_{(n,n)}$, $s_{(n-1,n-1,1,1)}*s_{(n,n)}$ and $s_{(n,n,1)}*s_{(n,n,1)}$. Our approach relies on the interplay between manipulation of symmetric functions and the representation theory of the symmetric group, mainly employing the Pieri rule and a useful identity of Littlewood. As a consequence of these formulae, we also derive an expression enumerating certain standard Young tableaux of bounded height, in terms of the Motzkin and Catalan numbers.
Symmetry properties of the Novelli-Pak-Stoyanovskii algorithm
Published
• View Publication
• BIB
The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous results and provide new bijective proofs.
Symmetric graphs with complete quotients
Let $Γ$ be a $G$-symmetric graph with vertex set $V$. We suppose that $V$ admits a $G$-partition $\mathcal{B} = \{ B_0, ... , B_b \}$, with parts of size $v$, and that the quotient graph induced on $\mathcal B$ is a complete graph of order $b+1$. Then, for each pair of distinct suffices $i, j$, the graph induced on the union $B_i\cup B_j$ is bipartite with each vertex of valency $0$ or $t$ (a constant). When $t=1$, it was shown earlier how a flag-transitive $1$-design $D(B_i)$ induced on a part $B_i$ can sometimes be used to classify possible triples $(Γ, G, \mathcal B)$. Here we extend these ideas to $t > 1$ and prove that, if the group induced by $G$ on a part $B_i$ is $2$-transitive and the "blocks" of $D(B_i)$ have size less than $v$, then either (i) $v < b$, or (ii) the triple $(Γ, G, \mathcal B)$ is known explicitly.
Hultman Numbers and Generalized Commuting Probability in Finite Groups
Let $G$ be a finite group and $π$ be a permutation from $S_{n}$.
We investigate the distribution of the probabilities of the equality \[ a_{1}a_{2}\cdots a_{n-1}a_{n}=a_{π_{1}}a_{π_{2}}\cdots a_{π_{n-1}}a_{π_{n}} \] when $π$ varies over all the permutations in $S_{n}$.
The probability \[ Pr_π(G)=Pr(a_{1}a_{2}\cdots a_{n-1}a_{n}=a_{π_{1}}a_{π_{2}}\cdots a_{π_{n-1}}a_{π_{n}}) \] is identical to $Pr_{1}^ω(G)$, with \[ ω=a_{1}a_{2}...a_{n-1}a_{n}a_{π_{1}}^{-1}a_{π_{2}}^{-1}\cdots a_{π_{n-1}}^{-1}a_{π_{n}}^{-1}, \] as it is defined in \cite{DasNath1} and \cite{NathDash1}.
The notion of commutativity degree, or the probability of a permutation equality $a_{1}a_{2}=a_{2}a_{1}$, for which $n=2$ and $π=\langle2\;\;1\rangle$, was introduced and assessed by P. Erdös and P. Turan in \cite{ET} in 1968 and by W. H. Gustafson in \cite{G} in 1973. In \cite{G} Gustafson establishes a relation between the probability of $a_{1},a_{2}\in G$ commuting and the number of conjugacy classes in $G$.
In this work we define several other parameters, which depend only on a certain interplay between the conjugacy classes of $G$, and compute the probabilities of general permutation equalities in terms of these parameters. It turns out that this probability, for a permutation $π$, depends only on the number $c(Gr(π))$ of the alternating cycles in the cycle graph $Gr(π)$ of $π$. The cycle graph of a permutation was introduced by V. Bafna and P. A. Pevzner in \cite{BP}.
We describe the spectrum of the probabilities of permutation equalities in a finite group as $π$ varies over all the elements of $S_{n}$. This spectrum turns-out to be closely related to the partition of $n!$ into a sum of the corresponding Hultman numbers.
Minimal Spanning Trees on Infinite Sets
Published
• View Publication
• BIB
Minimal spanning trees on infinite vertex sets are investigated. A criterion for minimality of a spanning tree having a finite length is obtained, which generalizes the corresponding classical result for finite sets. It is given an analytic description of the set of all infinite metric spaces which a minimal spanning tree exists for. A sufficient condition for a minimal spanning tree existence is obtained in terms of distances achievability between partitions elements of the metric space under consideration. Besides, a concept of locally minimal spanning tree is introduced, several properties of such trees are described, and relations of those trees with (globally) minimal spanning trees are investigated.
Almost all friendly matrices have many obstructions
Published
• View Publication
• BIB
A symmetric $m\times m$ matrix $M$ with entries taken from $\{0,1,\ast\}$ gives rise to a graph partition problem, asking whether a graph can be partitioned into $m$ vertex sets matched to the rows (and corresponding columns) of $M$ such that, if $M_{ij}=1$, then any two vertices between the corresponding vertex sets are joined by an edge, and if $M_{ij}=0$ then any two vertices between the corresponding vertex sets are not joined by an edge. The entry $\ast$ places no restriction on the edges between the corresponding sets. This problem generalises graph colouring and graph homomorphism problems.
A graph with no $M$-partition but such that every proper subgraph does have an $M$-partition is called a minimal obstruction. Feder, Hell and Xie have defined friendly matrices and shown that non-friendly matrices have infinitely many minimal obstructions. They showed through examples that friendly matrices can have finitely or infinitely many minimal obstructions and gave an example of a friendly matrix with an NP-hard partition problem. Here we show that almost all friendly matrices have infinitely many minimal obstructions and an NP-hard partition problem.
A factorization theorem for lozenge tilings of a hexagon with triangular holes
Published in Trans. Amer. Math. Soc. 369 (2017), 3655-3672
• View Publication
• BIB
In this paper we present a combinatorial generalization of the fact that the number of plane partitions that fit in a $2a\times b\times b$ box is equal to the number of such plane partitions that are symmetric, times the number of such plane partitions for which the transpose is the same as the complement. We use the equivalent phrasing of this identity in terms of symmetry classes of lozenge tilings of a hexagon on the triangular lattice. Our generalization consists of allowing the hexagon have certain symmetrically placed holes along its horizontal symmetry axis. The special case when there are no holes can be viewed as a new, simpler proof of the enumeration of symmetric plane partitions.
Maximal multiplicative properties of partitions
Published
• View Publication
• BIB
Extending the partition function multiplicatively to a function on partitions, we show that it has a unique maximum at an explicitly given partition for any $n\neq 7$. The basis for this is an inequality for the partition function which seems not to have been noticed before.
Coloring Large Complex Networks
Published
• View Publication
• BIB
Given a large social or information network, how can we partition the vertices into sets (i.e., colors) such that no two vertices linked by an edge are in the same set while minimizing the number of sets used. Despite the obvious practical importance of graph coloring, existing works have not systematically investigated or designed methods for large complex networks. In this work, we develop a unified framework for coloring large complex networks that consists of two main coloring variants that effectively balances the tradeoff between accuracy and efficiency. Using this framework as a fundamental basis, we propose coloring methods designed for the scale and structure of complex networks. In particular, the methods leverage triangles, triangle-cores, and other egonet properties and their combinations. We systematically compare the proposed methods across a wide range of networks (e.g., social, web, biological networks) and find a significant improvement over previous approaches in nearly all cases. Additionally, the solutions obtained are nearly optimal and sometimes provably optimal for certain classes of graphs (e.g., collaboration networks). We also propose a parallel algorithm for the problem of coloring neighborhood subgraphs and make several key observations. Overall, the coloring methods are shown to be (i) accurate with solutions close to optimal, (ii) fast and scalable for large networks, and (iii) flexible for use in a variety of applications.
Hypertree posets and hooked partitions
We adapt here the computation of characters on incidence Hopf algebras introduced by W. Schmitt in the 1990s to a family mixing bounded and unbounded posets. We then apply our results to the family of hypertree posets and partition posets. As a consequence, we obtain some enumerative formulas and a new proof for the computation of the Moebius numbers of the hypertree posets. Moreover, we compute the coproduct of the incidence Hopf algebra and recover a known formula for the number of hypertrees with fixed valency set and edge sizes set.
Excluded minors in cubic graphs
Published
• View Publication
• BIB
Let G be a cubic graph, with girth at least five, such that for every partition X,Y of its vertex set with |X|,|Y|>6 there are at least six edges between X and Y. We prove that if there is no homeomorphic embedding of the Petersen graph in G, and G is not one particular 20-vertex graph, then either G\v is planar for some vertex v, or G can be drawn with crossings in the plane, but with only two crossings, both on the infinite region. We also prove several other theorems of the same kind.
A tight lower bound for Szemerédi's regularity lemma
Published
• View Publication
• BIB
Addressing a question of Gowers, we determine the order of the tower height for the partition size in a version of Szemerédi's regularity lemma.
A triangular gap of size two in a sea of dimers in a $90^\circ$ angle with mixed boundary conditions, and a heat flow conjecture for the general case
We consider a triangular gap of side two in a $90^\circ$ angle on the triangular lattice with mixed boundary conditions: a constrained, zig-zag boundary along one side, and a free lattice line boundary along the other. We study the interaction of the gap with the corner as the rest of the angle is completely filled with lozenges. We show that the resulting correlation is governed by the product of the distances between the gap and its three images in the sides of the angle. The image in the side with constrained boundary has the same orientation as the original gap, while the image in the side with free boundary has the opposite orientation. This, together with the parallel between the correlation of gaps in dimer packings and electrostatics we developed in previous work, provides evidence for a unified way of understanding the interaction of gaps with the boundary under mixed boundary conditions, which we phrase as a conjecture. While the electrostatic interpretation is equivalent to a steady state heat flow interpretation in the bulk, it turns out that the latter view is more natural in the context of the interaction of the gaps with the boundary.
The starting point for our analysis is an exact formula we prove for the number of lozenge tilings of certain trapezoidal regions with mixed boundary conditions, which is equivalent to a new, multi-parameter generalization of a classical plane partition enumeration problem (that of enumerating symmetric, self-complementary plane partitions).
Higher order Fourier analysis of multiplicative functions and applications
Published
• View Publication
• BIB
We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of an arbitrary degree. The proof uses tools from higher order Fourier analysis and some soft number theoretic input that comes in the form of an orthogonality criterion of Kátai. We use variants of this structure theorem to derive applications of number theoretic and combinatorial flavor: $(i)$ we give simple necessary and sufficient conditions for the Gowers norms (over $\mathbb{N}$) of a bounded multiplicative function to be zero, $(ii)$ generalizing a classical result of Daboussi and Delange we prove asymptotic orthogonality of multiplicative functions to "irrational" nilsequences, $(iii)$ we prove that for certain polynomials in two variables all "aperiodic" multiplicative functions satisfy Chowla's zero mean conjecture, $(iv)$ we give the first partition regularity results for homogeneous quadratic equations in three variables showing for example that on every partition of the integers into finitely many cells there exist distinct $x,y$ belonging to the same cell and $λ\in \mathbb{N}$ such that $16x^2+9y^2=λ^2$ and the same holds for the equation $x^2-xy+y^2=λ^2$.
Hall-Littlewood polynomials and Cohen-Lenstra heuristics for Jacobians of random graphs
Published
• View Publication
• BIB
Cohen-Lenstra heuristics for Jacobians of random graphs give rise to random partitions. We connect these random partitions to the Hall-Littlewood polynomials of symmetric function theory, and use this connection to give combinatorial proofs of properties of these random partitions. In addition, we use Markov chains to give an algorithm for generating these partitions.
Electroid varieties and a compactification of the space of electrical networks
Published
• View Publication
• BIB
We construct a compactification of the space of circular planar electrical networks studied by Curtis-Ingerman-Morrow and De Verdiere-Gitler-Vertigan, using cactus networks. We embed this compactification as a linear slice of the totally nonnegative Grassmannian, and relate Kenyon and Wilson's grove measurements to Postnikov's boundary measurements. Intersections of the slice with the positroid stratification leads to a class of electroid varieties, indexed by matchings. The partial order on matchings arising from electrical networks is shown to be dual to a subposet of affine Bruhat order. The analogues of matroids in this setting are certain distinguished collections of non-crossing partitions.
Problems on combinatorial properties of primes
Published
• View Publication
• BIB
For $x\ge0$ let $π(x)$ be the number of primes not exceeding $x$. The asymptotic behaviors of the prime-counting function $π(x)$ and the $n$-th prime $p_n$ have been studied intensively in analytic number theory. Surprisingly, we find that $π(x)$ and $p_n$ have many combinatorial properties which should not be ignored. In this paper we pose 60 open problems on combinatorial properties of primes (including connections between primes and partition functions) for further research. For example, we conjecture that for any integer $n>1$ one of the $n$ numbers $π(n),π(2n),...,π(n^2)$ is prime; we also conjecture that for any integer $n>6$ there exists a prime $p<n$ such that $pn$ is a primitive root modulo $p_n$. One of our conjectures involving the partition function $p(n)$ states that for any prime $p$ there is a primitive root $g<p$ modulo $p$ with $g\in\{p(n):\ n=1,2,3,...\}$.
Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras
Published in International Journal of Algebra and Computation, Volume 24, Issue 05, August 2014
• View Publication
• BIB
Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.