partition
6235 papers tagged with this keyword
On Factor-Invariant Graphs With Two Cycles
Published
• View Publication
• BIB
We classify trivalent vertex-transitive graphs whose edge sets have a partition into a 2-factor composed of two cycles and a 1-factor that is invariant under the action of the automorphism group.
Cutting a cake for infinitely many guests
Fair division with unequal shares is an intensively studied recourse allocation problem. For $ i\in [n] $, let $ μ_i $ be an atomless probability measure on the measurable space $(C,\mathcal{S}) $ and let $ t_i $ be positive numbers (entitlements) with $ \sum_{i=1}^{n}t_i=1 $. A fair division is a partition of $ C $ into sets $ S_i\in \mathcal{S} $ with $ μ_i(S_i)\geq t_i$ for every $ i\in [n] $.
We introduce new algorithms to solve the fair division problem with irrational entitlements. They are based on the classical Last diminisher technique and we believe that they are simpler than the known methods. Then we show that a fair division always exists even for infinitely many players.
Agile Sets in Graphs
A set of vertices in a graph is agile if, however we partition the set into two parts, we can always find two vertex-disjoint connected subgraphs where one covers the first and the other the second part. We present a characterization for the existence of large agile sets in terms of $K_{2,k}$ and large strip minors.
Efficient Locally Optimal Number Set Partitioning for Scheduling, Allocation and Fair Selection
We study the optimization version of the set partition problem (where the difference between the partition sums are minimized), which has numerous applications in decision theory literature. While the set partitioning problem is NP-hard and requires exponential complexity to solve (i.e., intractable); we formulate a weaker version of this NP-hard problem, where the goal is to find a locally optimal solution. We show that our proposed algorithms can find a locally optimal solution in near linear time. Our algorithms require neither positive nor integer elements in the input set, hence, they are more widely applicable.
Counting chains in the noncrossing partition lattice via the W-Laplacian
Published in J. Algebra 602 (2022), 381--404
• View Publication
• BIB
We give an elementary, case-free, Coxeter-theoretic derivation of the formula $h^nn!/|W|$ for the number of maximal chains in the noncrossing partition lattice $NC(W)$ of a real reflection group $W$. Our proof proceeds by comparing the Deligne-Reading recursion with a parabolic recursion for the characteristic polynomial of the $W$-Laplacian matrix considered in our previous work. We further discuss the consequences of this formula for the geometric group theory of spherical and affine Artin groups.
Approximately counting independent sets in bipartite graphs via graph containers
Published
• View Publication
• BIB
By implementing algorithmic versions of Sapozhenko's graph container methods, we give new algorithms for approximating the number of independent sets in bipartite graphs. Our first algorithm applies to $d$-regular, bipartite graphs satisfying a weak expansion condition: when $d$ is constant, and the graph is a bipartite $Ω( \log^2 d/d)$-expander, we obtain an FPTAS for the number of independent sets. Previously such a result for $d>5$ was known only for graphs satisfying the much stronger expansion conditions of random bipartite graphs. The algorithm also applies to weighted independent sets: for a $d$-regular, bipartite $α$-expander, with $α>0$ fixed, we give an FPTAS for the hard-core model partition function at fugacity $λ=Ω(\log d / d^{1/4})$. Finally we present an algorithm that applies to all $d$-regular, bipartite graphs, runs in time $\exp\left( O\left( n \cdot \frac{ \log^3 d }{d } \right) \right)$, and outputs a $(1 + o(1))$-approximation to the number of independent sets.
Lifting methods in mass partition problems
Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentric spheres. For measures whose supports are sufficiently well separated, we prove results where one can cut a fixed (possibly different) fraction of each measure either by parallel hyperplanes, concentric spheres, convex polyhedral surfaces of few facets, or convex polytopes with few vertices.
Characterizing and computing weight-equitable partitions of graphs
Published
• View Publication
• BIB
Weight-equitable partitions of graphs, which are a natural extension of the well-known equitable partitions, have been shown to be a powerful tool to weaken the regularity assumption in several well-known eigenvalue bounds. In this work we aim to further our algebraic and computational understanding of weight-equitable partitions. We do so by showing several spectral properties and algebraic characterizations, and by providing a method to find coarse weight-equitable partitions.
A New Family of Algebraically Defined Graphs With Small Automorphism Group
Published
• View Publication
• BIB
Let $p$ be an odd prime, $q=p^e$, $e\ge 1$, and $\mathbb{F} = \mathbb{F_q}$ denote the finite field of $q$ elements. Let $f: \mathbb{F}^2\to \mathbb{F}$ and $g: \mathbb{F}^3\to \mathbb{F}$ be functions, and let $P$ and $L$ be two copies of the 3-dimensional vector space $\mathbb{F}^3$. Consider a bipartite graph $Γ_\mathbb{F} (f, g)$ with vertex partitions $P$ and $L$ and with edges defined as follows: for every $(p)=(p_1,p_2,p_3)\in P$ and every $[l]= [l_1,l_2,l_3]\in L$, $\{(p), [l]\} = (p)[l]$ is an edge in $Γ_\mathbb{F} (f, g)$ if $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\;
p_3 + l_3 = g(p_1,p_2,l_1).$$ Given $Γ_\mathbb{F} (f, g)$, is it always possible to find a function $h:\mathbb{F}^2\to \mathbb{F}$ such that the graph $Γ_\mathbb{F} (f, h)$ with the same vertex set as $Γ_\mathbb{F} (f, g)$ and with edges $(p)[l]$ defined in a similar way by the system $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\;
p_3 + l_3 = h(p_1,l_1),$$ is isomorphic to $Γ_\mathbb{F} (f, g)$ for infinitely many $q$? In this paper we show that the answer to the question is negative and the graphs $Γ_{\mathbb{F}_p}(p_1\ell_1, p_1\ell_1p_2(p_1 + p_2 + p_1p_2))$ provide such an example for $p \equiv 1 \pmod{3}$. Our argument is based on proving that the automorphism group of these graphs has order $p$, which is the smallest possible order of the automorphism group of graphs of the form $Γ_{\mathbb{F}}(f, g)$.
Encoding and ordering X-cactuses
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of evolutionary or phylogenetic trees that are commonly used to represent the evolution of species which cross with one another. A special type of phylogenetic network is an {\em $X$-cactus}, which is essentially a cactus graph in which all vertices with degree less than three are labelled by at least one element from a set $X$ of species. In this paper, we present a way to {\em encode} $X$-cactuses in terms of certain collections of partitions of $X$ that naturally arise from $X$-cactuses. Using this encoding, we also introduce a partial order on the set of $X$-cactuses (up to isomorphism), and derive some structural properties of the resulting partially ordered set. This includes an analysis of some properties of its least upper and greatest lower bounds. Our results not only extend some fundamental properties of phylogenetic trees to $X$-cactuses, but also provides a new approach to solving topical problems in phylogenetic network theory such as deriving consensus networks.
Enumerating $k$-Naples Parking Functions Through Catalan Objects
This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan numbers in the setting of both ascending and descending $k$-Naples parking functions. These combinatorial objects include Dyck paths, binary trees, triangulations of polygons, and non-crossing partitions. Using these bijections, we enumerate both ascending and descending $k$-Naples parking functions.
Girth and $λ$-choosability of graphs
Published
• View Publication
• BIB
Assume $ k $ is a positive integer, $ λ=\{k_1,k_2,...,k_q\} $ is a partition of $ k $ and $ G $ is a graph. A $λ$-assignment of $ G $ is a $ k $-assignment $ L $ of $ G $ such that the colour set $ \bigcup_{v\in V(G)} L(v) $ can be partitioned into $ q $ subsets $ C_1\cup C_2\cup\cdots\cup C_q $ and for each vertex $ v $ of $ G $, $ |L(v)\cap C_i|=k_i $. We say $ G $ is $λ$-choosable if for each $λ$-assignment $ L $ of $ G $, $ G $ is $ L $-colourable. In particular, if $ λ=\{k\} $, then $λ$-choosable is the same as $ k $-choosable, if $ λ=\{1, 1,...,1\} $, then $λ$-choosable is equivalent to $ k $-colourable. For the other partitions of $ k $ sandwiched between $ \{k\} $ and $ \{1, 1,...,1\} $ in terms of refinements, $λ$-choosability reveals a complex hierarchy of colourability of graphs.
Assume $λ=\{k_1, \ldots, k_q\} $ is a partition of $ k $ and $λ' $ is a partition of $ k'\ge k $. We write $ λ\le λ' $ if there is a partition $λ''=\{k''_1, \ldots, k''_q\}$ of $k'$ with $k''_i \ge k_i$ for $i=1,2,\ldots, q$ and
$λ'$ is a refinement of $λ''$. It follows from the definition that if $ λ\le λ' $, then every $λ$-choosable graph is $λ'$-choosable. It was proved in [X. Zhu, A refinement of choosability of graphs, J. Combin. Theory, Ser. B 141 (2020) 143 - 164] that the converse is also true. This paper strengthens this result and proves that for any $ λ\not\le λ' $, for any integer $g$, there exists a graph of girth at least $g$ which is $λ$-choosable but not $λ'$-choosable.
On a Partition Identity of Lehmer
Published
• View Publication
• BIB
Euler's identity equates the number of partitions of any non-negative integer n into odd parts and the number of partitions of n into distinct parts. Beck conjectured and Andrews proved the following companion to Euler's identity: the excess of the number of parts in all partitions of n into odd parts over the number of parts in all partitions of n into distinct parts equals the number of partitions of n with exactly one even part (possibly repeated). Beck's original conjecture was followed by generalizations and so-called "Beck-type" companions to other identities.
In this paper, we establish a collection of Beck-type companion identities to the following result mentioned by Lehmer at the 1974 International Congress of Mathematicians: the excess of the number of partitions of n with an even number of even parts over the number of partitions of n with an odd number of even parts equals the number of partitions of n into distinct, odd parts. We also establish various generalizations of Lehmer's identity, and prove related Beck-type companion identities. We use both analytic and combinatorial methods in our proofs.
On the second eigenvalue of a Cayley graph of the symmetric group
Published
• View Publication
• BIB
In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $Γ_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $Γ_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition $[n-1,1]$. As a byproduct of our method, the result of Siemons and Zalesski when $k \in \{0,1\}$ is retrieved. Moreover, we prove that the second eigenvalue of $Γ_{n,n-5}$ is also equal to the eigenvalue afforded by the irreducible character of the partition $[n-1,1]$.
Doubly stochastic matrices and Schur-Weyl duality for partition algebras
Published
• View Publication
• BIB
We prove that the permutations of $\{1,\dots, n\}$ having an increasing (resp., decreasing) subsequence of length $n-r$ index a subset of the set of all $r$th Kronecker powers of $n \times n$ permutation matrices which is a basis for the linear span of that set. Thanks to a known Schur--Weyl duality, this gives a new basis for the centralizer algebra of the partition algebra acting on the $r$th tensor power of a vector space. We give some related results on the set of doubly stochastic matrices in that algebra.
Infinite families of crank functions, Stanton-type conjectures, and unimodality
Published
• View Publication
• BIB
Dyson's rank function and the Andrews--Garvan crank function famously give combinatorial witnesses for Ramanujan's partition function congruences modulo 5, 7, and 11. While these functions can be used to show that the corresponding sets of partitions split into 5, 7, or 11 equally sized sets, one may ask how to make the resulting bijections between partitions organized by rank or crank combinatorially explicit. Stanton recently made conjectures which aim to uncover a deeper combinatorial structure along these lines, where it turns out that minor modifications of the rank and crank are required. Here, we prove two of these conjectures. We also provide abstract criteria for quotients of polynomials by certain cyclotomic polynomials to have non-negative coefficients based on unimodality and symmetry. Furthermore, we extend Stanton's conjecture to an infinite family of cranks. This suggests further applications to other combinatorial objects. We also discuss numerical evidence for our conjectures, connections with other analytic conjectures such as the distribution of partition ranks.
Proof of some Littlewood identities conjectured by Lee, Rains and Warnaar
Published in Proc. Amer. Math. Soc. Ser. B 11 (2024), 133-146
• View Publication
• BIB
We prove a novel pair of Littlewood identities for Schur functions, recently conjectured by Lee, Rains and Warnaar in the Macdonald case, in which the sum is over partitions with empty 2-core. As a byproduct we obtain a new Littlewood identity in the spirit of Littlewood's original formulae.
$q$-Analogues of $π$-Related Formulae from Jackson's $_8φ_7$-Series via Inversion Approach
By making use of the multiplicate form of the extended Carlitz inverse series relations, we establish two general `dual' theorems of Jackson's summation formula for well--poised $_8φ_7$-series. Their duplicate forms under the partition pattern $n=\lfloor{\frac{n}2}\rfloor+\lfloor{\frac{n+1}2}\rfloor$ are explored and yield numerous $q$-series identities whose limiting cases as $q\to1$ result in classical $π$-related Ramanujan--like series of convergence rate ``$\frac1{16}$" including one for $1/π^2$ discovered by Guillera (2003). The triplicate dual formulae under the partition pattern $n=\lfloor{\frac{n}3}\rfloor+\lfloor{\frac{n+1}3}\rfloor+\lfloor{\frac{n+2}3}\rfloor$ are examined via the ``reverse bisection method", which leads us to twenty new $q$-series identities together with their classical counterparts of convergence rate ``$\frac{-1}{27}$" when $q\to1$.
Approximate counting of standard set-valued tableaux
Published
• View Publication
• BIB
We present a randomized algorithm for generating standard set-valued tableaux by extending the Green-Nijenhuis-Wilf hook walk algorithm. In the case of asymptotically rank two partitions, we use this algorithm to give a fully polynomial almost uniform sampler (FPAUS) for standard set-valued tableaux. This FPAUS is then used to construct a fully polynomial randomized approximation scheme (FPRAS) for counting the number of standard set-valued tableaux for such shapes. We also construct a FPAUS and FPRAS for standard set-valued tableaux when either the size of the partition or the difference between the maximum value and the size of the partition is fixed. Our methods build on the work of Jerrum-Valiant-Vazirani and provide a framework for constructing FPAUS's and FPRAS's for other counting problems in algebraic combinatorics.
On the Number of 2-Hooks and 3-Hooks of Integer Partitions
Published
• View Publication
• BIB
Let $p_t(a,b;n)$ denote the number of partitions of $n$ such that the number of $t$ hooks is congruent to $a \bmod{b}$. For $t\in \{2, 3\}$, arithmetic progressions $r_1 \bmod{m_1}$ and $r_2 \bmod{m_2}$ on which $p_t(r_1,m_1; m_2 n + r_2)$ vanishes were established in recent work by Bringmann, Craig, Males, and Ono using the theory of modular forms. Here we offer a direct combinatorial proof of this result using abaci and the theory of $t$-cores and $t$-quotients.