partition
6235 papers tagged with this keyword
Schmidt-type theorems for partitions with uncounted parts
Schmidt's theorem is significantly generalized, to partitions in which periodic but otherwise arbitrary subsets of parts are counted or uncounted. The identification of such sets of partitions with colored partitions satisfying certain specifications may be a generally useful tool for establishing sum-product $q$-series identities, examples of which are given.
A Linearithmic Time Locally Optimal Algorithm for the Multiway Number Partition Optimization
We study the problem of multiway number partition optimization, which has a myriad of applications in the decision, learning and optimization literature. Even though the original multiway partitioning problem is NP-hard and requires exponential time complexity algorithms; we formulate an easier optimization problem, where our goal is to find a solution that is locally optimal. We propose a linearithmic time complexity $O(N\log N)$ algorithm that can produce such a locally optimal solution. Our method is robust against the input and requires neither positive nor integer inputs.
$3$-anti-circulant digraphs are $α$-diperfect and BE-diperfect
Published
• View Publication
• BIB
Let $D$ be a digraph. A subset $S$ of $V(D)$ is a stable set if every pair of vertices in $S$ is non-adjacent in $D$. A collection of disjoint paths $\mathcal{P}$ of $D$ is a path partition of $V(D)$, if every vertex in $V(D)$ is exactly on a path of $\mathcal{P}$. We say that a stable set $S$ and a path partition $\mathcal{P}$ are orthogonal if each path of $P$ contains exactly one vertex of $S$. A digraph $D$ satisfies the $α$-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that $S$ and $\mathcal{P}$ are orthogonal. A digraph $D$ is $α$-diperfect if every induced subdigraph of $D$ satisfies the $α$-property. In 1982, Claude Berge proposed a characterization for $α$-diperfect digraphs in terms of forbidden anti-directed odd cycles. In 2018, Sambinelli, Silva and Lee proposed a similar conjecture. A digraph $D$ satisfies the Begin-End-property or BE-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that (i) $S$ and $\mathcal{P}$ are orthogonal and (ii) for each path $P \in \mathcal{P}$, either the start or the end of $P$ belongs to $S$. A digraph $D$ is BE-diperfect if every induced subdigraph of $D$ satisfies the BE-property. Sambinelli, Silva and Lee proposed a characterization for BE-diperfect digraphs in terms of forbidden blocking odd cycles. In this paper, we verified both conjectures for $3$-anti-circulant digraphs. We also present some structural results for $α$-diperfect and BE-diperfect digraphs.
A bijective proof of a generalization of the non-negative crank--odd mex identity
Published
• View Publication
• BIB
Recent works of Andrews--Newman and Hopkins--Sellers unveil an interesting relation between two partition statistics, the crank and the mex. They state that, for a positive integer $n$, there are as many partitions of $n$ with non-negative crank as partitions of $n$ with odd mex. In this paper, we give a bijective proof of a generalization of this identity provided by Hopkins, Sellers, and Stanton. Our method uses an alternative definition of the Durfee decomposition, whose combinatorial link to the crank was recently studied by Hopkins, Sellers, and Yee.
Finding Biclique Partitions of Co-Chordal Graphs
Published
• View Publication
• BIB
The biclique partition number $(\text{bp})$ of a graph $G$ is referred to as the least number of complete bipartite (biclique) subgraphs that are required to cover the edges of the graph exactly once. In this paper, we show that the biclique partition number ($\text{bp}$) of a co-chordal (complementary graph of chordal) graph $G = (V, E)$ is less than the number of maximal cliques ($\text{mc}$) of its complementary graph: a chordal graph $G^c = (V, E^c)$. We first provide a general framework of the ``divide and conquer" heuristic of finding minimum biclique partitions of co-chordal graphs based on clique trees. Furthermore, a heuristic of complexity $O[|V|(|V|+|E^c|)]$ is proposed by applying lexicographic breadth-first search to find structures called moplexes. Either heuristic gives us a biclique partition of $G$ with size $\text{mc}(G^c)-1$. In addition, we prove that both of our heuristics can solve the minimum biclique partition problem on $G$ exactly if its complement $G^c$ is chordal and clique vertex irreducible. We also show that $\text{mc}(G^c) - 2 \leq \text{bp}(G) \leq \text{mc}(G^c) - 1$ if $G$ is a split graph.
Symmetric functions and a natural framework for combinatorial and number theoretic sequences
Certain triples of power series, considered by I. Macdonald, give a natural framework for many combinatorial and number theoretic sequences, such as the Stirling, Bernoulli and harmonic numbers and partitions of different kinds. The power series in such a triple are closely linked by identities coming from the theory of symmetric functions. We extend the work of Z-H. Sun, who developed similar ideas, and Macdonald, revealing more of the structure of these triples. De Moivre polynomials play a key role in this study.
The Arithmetic-Periodicity of \textsc{cut} for $\mathcal{C}=\{1,2c\}$
\textsc{cut} is a class of partition games played on a finite number of finite piles of tokens. Each version of \textsc{cut} is specified by a cut-set $\mathcal{C}\subseteq\mathbb{N}$. A legal move consists of selecting one of the piles and partitioning it into $d+1$ nonempty piles, where $d\in\mathcal{C}$. No tokens are removed from the game. It turns out that the nim-set for any $\mathcal{C}=\{1,2c\}$ with $c\geq 2$ is arithmetic-periodic, which answers an open question of \cite{par}. The key step is to show that there is a correspondence between the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,6\}$ and the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,2c\}, c\geq 4$. The result easily extends to the case of $\mathcal{C} = \{1, 2c_1, 2c_2, 2c_3, ...\}$, where $c_1,c_2, ... \geq 2$.
Measurable tilings by abelian group actions
Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a "dilation lemma" that asserts, roughly speaking, that $F \odot A = X$ implies $F^r \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are "factors of iid", and show that measurable tilings of a torus $\mathbb{T}^d$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case).
Dyson's crank and unimodal compositions
Published
• View Publication
• BIB
The crank is a partition statistic requested by Dyson in 1944 in order to combinatorially prove a Ramanujan congruence of Euler's partition function $p(n)$. In this paper, we provide connections between Dyson's crank and unimodal compositions. Somewhat unrelated, we give a combinatorial proof of a new truncated Euler pentagonal number theorem due to Xia and Zhao.
Mutually orthogonal cycle systems
Published
• View Publication
• BIB
An ${\ell}$-cycle system ${\mathcal F}$ of a graph $Γ$ is a set of ${\ell}$-cycles which partition the edge set of $Γ$. Two such cycle systems ${\mathcal F}$ and ${\mathcal F}'$ are said to be {\em orthogonal} if no two distinct cycles from ${\mathcal F}\cup {\mathcal F}'$ share more than one edge. Orthogonal cycle systems naturally arise from face $2$-colourable polyehdra and in higher genus from Heffter arrays with certain orderings. A set of pairwise orthogonal $\ell$-cycle systems of $Γ$ is said to be a set of mutually orthogonal cycle systems of $Γ$.
Let $μ(\ell,n)$ (respectively, $μ'(\ell,n)$) be the maximum integer $μ$ such that there exists a set of $μ$ mutually orthogonal (cyclic) $\ell$-cycle systems of the complete graph $K_n$. We show that if $\ell\geq 4$ is even and $n\equiv 1\pmod{2\ell}$, then $μ'(\ell,n)$, and hence $μ(\ell,n)$, is bounded below by a constant multiple of $n/\ell^2$. In contrast, we obtain the following upper bounds: $μ(\ell,n)\leq n-2$; $μ(\ell,n)\leq (n-2)(n-3)/(2(\ell-3))$ when $\ell \geq 4$; $μ(\ell,n)\leq 1$ when $\ell>n/\sqrt{2}$; and $μ'(\ell,n)\leq n-3$ when $n \geq 4$. We also obtain computational results for small values of $n$ and $\ell$.
A Transformational Characterization of Unconditionally Equivalent Bayesian Networks
We consider the problem of characterizing Bayesian networks up to unconditional equivalence, i.e., when directed acyclic graphs (DAGs) have the same set of unconditional $d$-separation statements. Each unconditional equivalence class (UEC) is uniquely represented with an undirected graph whose clique structure encodes the members of the class. Via this structure, we provide a transformational characterization of unconditional equivalence; i.e., we show that two DAGs are in the same UEC if and only if one can be transformed into the other via a finite sequence of specified moves. We also extend this characterization to the essential graphs representing the Markov equivalence classes (MECs) in the UEC. UECs partition the space of MECs and are easily estimable from marginal independence tests. Thus, a characterization of unconditional equivalence has applications in methods that involve searching the space of MECs of Bayesian networks.
A Lattice-Theoretic Perspective on the Persistence Map
We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA).
Asymptotics, Turán inequalities, and the distribution of the BG-rank and 2-quotient rank of partitions
Published
• View Publication
• BIB
Let $j,n$ be even positive integers, and let $\overline{p}_j(n)$ denote the number of partitions with BG-rank $j$, and $\overline{p}_j(a,b;n)$ to be the number of partitions with BG-rank $j$ and $2$-quotient rank congruent to $a \pmod{b}$. We give asymptotics for both statistics, and show that $\overline{p}_j(a,b;n)$ is asymptotically equidistributed over the congruence classes modulo $b$. We also show that each of $\overline{p}_j(n)$ and $\overline{p}_j(a,b;n)$ asymptotically satisfy all higher-order Turán inequalities.
A study on edge coloring and edge sum coloring of integral sum graphs
Frank Harary introduced the concept of integral sum graph. A graph $G$ is an \emph{ integral sum graph} if its vertices can be labeled with distinct integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ For any non-empty set of integers $S$, let $G^+(S)$ denote the integral sum graph on the set $S$. In $G^+(S)$, we define an \emph{edge-sum class} as the set of all edges each with same edge sum number and call $G^+(S)$ an \emph{edge sum color graph} if each edge-sum class is considered as an edge color class of $G^+(S)$. The number of distinct edge-sum classes of $G^+(S)$ is called its \emph{ edge sum chromatic number}. The main results of this paper are (i) the set of all edge-sum classes of an integral sum graph partitions its edge set; (ii) the edge chromatic number and the edge sum chromatic number are equal for the integral sum graphs $G_{0,s}$ and $S_n$, Star graph of order $n$, whereas it is not in the case of $G_{r,s} = G^+([r,s])$, $r < 0 < s$, $n,s \geq 2$, $n,r,s\in\mathbb{N}$. We also obtain an interesting integral sum labeling of Star graphs.
Heroes in oriented complete multipartite graphs
Published
• View Publication
• BIB
The dichromatic number of a digraph is the minimum size of a partition of its vertices into acyclic induced subgraphs. Given a class of digraphs $\mathcal C$, a digraph $H$ is a hero in $\mc C$ if $H$-free digraphs of $\mathcal C$ have bounded dichromatic number. In a seminal paper, Berger at al. give a simple characterization of all heroes in tournaments. In this paper, we give a simple proof that heroes in quasi-transitive oriented graphs are the same as heroes in tournaments. We also prove that it is not the case in the class of oriented multipartite graphs, disproving a conjecture of Aboulker, Charbit and Naserasr. We also give a full characterisation of heroes in oriented complete multipartite graphs up to the status of a single tournament on $6$ vertices.
The near exact bin covering problem
Published
• View Publication
• BIB
We present a new generalization of the bin covering problem that is known to be a strongly NP-hard problem. In our generalization there is a positive constant $Δ$, and we are given a set of items each of which has a positive size. We would like to find a partition of the items into bins. We say that a bin is near exact covered if the total size of items packed into the bin is between $1$ and $1+Δ$. Our goal is to maximize the number of near exact covered bins. If $Δ=0$ or $Δ>0$ is given as part of the input, our problem is shown here to have no approximation algorithm with a bounded asymptotic approximation ratio (assuming that $P\neq NP$). However, for the case where $Δ>0$ is seen as a constant, we present an asymptotic fully polynomial time approximation scheme (AFPTAS) that is our main contribution.
Fundamental invariants of tensors, Latin hypercubes, and rectangular Kronecker coefficients
Published
• View Publication
• BIB
We study polynomial SL-invariants of tensors, mainly focusing on fundamental invariants which are of smallest degrees. In particular, we prove that certain 3-dimensional analogue of the Alon--Tarsi conjecture on Latin cubes considered previously by Bürgisser and Ikenmeyer, implies positivity of (generalized) Kronecker coefficients at rectangular partitions and as a result provides values for degree sequences of fundamental invariants.
A note on Cauchy's formula
Published in Adv. Appl. Math. 153 (2024), 102630 (14pp.)
• View Publication
• BIB
We use the correlation functions of vertex operators to give a proof of Cauchy's formula \begin{align*} \prod^K_{i=1}\prod^N_{j=1}(1-x_iy_j)=\sum_{μ\subseteq [K\times N]}(-1)^{|μ|}s_μ\{x\}s_{μ'}\{y\}. \end{align*} As an application of the interpretation, we obtain an expansion of $\prod^\infty_{i=1}(1-q^i)^{i-1}$ in terms of half plane partitions.
Length partition of random multicurves on large genus hyperbolic surfaces
Published
• View Publication
• BIB
We study the length statistics of the components of a random multicurve on a surface of genus $g \geq 2$. For each fixed genus, the existence of such statistics follows from the work of M.~Mirzakhani, F.~Arana-Herrera and M.~Liu. We prove that as the genus $g$ tends to infinity the statistics converge in law to the Poisson--Dirichlet distribution of parameter $θ=1/2$. In particular, as the genus tends to infinity the mean length of the three longest components converge respectively to $75.8\%$, $17.1\%$ and $4.9\%$ of the total length.
How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku
Published
• View Publication
• BIB
Shikaku is a pencil puzzle consisting of a rectangular grid, with some cells containing a number. The player has to partition the grid into rectangles such that each rectangle contains exactly one number equal to the area of that rectangle. In this paper, we propose two physical zero-knowledge proof protocols for Shikaku using a deck of playing cards, which allow a prover to physically show that he/she knows a solution of the puzzle without revealing it. Most importantly, in our second protocol we develop a general technique to physically verify a rectangle-shaped area with a certain size in a rectangular grid, which can be used to verify other problems with similar constraints.