partition
6235 papers tagged with this keyword
Anti-Ramsey number of edge-disjoint rainbow spanning trees in all graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is called \textit{rainbow} if every edge of $G$ receives a different color. Given any host graph $G$, the \textit{anti-Ramsey} number of $t$ edge-disjoint rainbow spanning trees in $G$, denoted by $r(G,t)$, is defined as the maximum number of colors in an edge-coloring of $G$ containing no $t$ edge-disjoint rainbow spanning trees. For any vertex partition $P$, let $E(P,G)$ be the set of non-crossing edges in $G$ with respect to $P$. In this paper, we determine $r(G,t)$ for all host graphs $G$: $r(G,t)=|E(G)|$ if there exists a partition $P_0$ with $|E(G)|-|E(P_0,G)|<t(|P_0|-1)$; and $r(G,t)=\max_{P\colon |P|\geq 3} \{|E(P,G)|+t(|P|-2)\}$ otherwise. As a corollary, we determine $r(K_{p,q},t)$ for all values of $p,q, t$, improving a result of Jia, Lu and Zhang.
Zeros, chaotic ratios and the computational complexity of approximating the independence polynomial
Published
• View Publication
• BIB
The independence polynomial originates in statistical physics as the partition function of the hard-core model. The location of the complex zeros of the polynomial is related to phase transitions, and plays an important role in the design of efficient algorithms to approximately compute evaluations of the polynomial.
In this paper we directly relate the location of the complex zeros of the independence polynomial to computational hardness of approximating evaluations of the independence polynomial. We do this by moreover relating the location of zeros to chaotic behaviour of a naturally associated family of rational functions; the occupation ratios.
An explicit order matching for $L(3,n)$ from several approaches and its extension for $L(4,n)$
Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching $\varphi$ for $L(3,n)$ by several different approaches, and give chain tableau version of $\varphi$ that is very helpful in finding patterns. It is surprise that the greedy algorithm and a recursive knead process also give the same order matching. Our methods extend for $L(4,n)$.
A Graph Decomposition motivated by the Geometry of Randomized Rounding
We introduce a graph decomposition which exists for all simple, connected graphs $G=(V,E)$. The decomposition $V = A \cup B \cup C$ is such that each vertex in $A$ has more neighbors in $B$ than in $A$ and vice versa. $C$ is `balanced': each $v \in C$ has the same number of neighbours in $A$ and $B$. These decompositions arise naturally from the behavior of an associated dynamical system (`Randomized Rounding') on $(\mathbb{S}^1)^{|V|}$. Connections to judicious partitions and the \textsc{MaxCut} problem (in particular the Burer-Monteiro-Zhang heuristic) are being discussed.
Wadge Degrees of Classes of omega-Regular k-Partitions
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular k-partitions and provides tools for dealing with other similar questions. In particular, we characterize the structure of Wadge degrees of (aperiodic) omega-regular $k$-partitions, prove the decidability of many related problems, and discuss their complexity.
Refined Littlewood identity for spin Hall-Littlewood symmetric rational functions
Published
• View Publication
• BIB
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials and can be viewed as partition functions in $\mathfrak{sl}(2)$ higher spin six vertex models. We obtain a refined Littlewood identity expressing a weighted sum of $F_λ$'s over all partitions $λ$ with even multiplicities as a certain Pfaffian. This Pfaffian can be derived as a partition function of the six vertex model in a triangle with suitably decorated domain wall boundary conditions. The proof is based on the Yang-Baxter equation.
N-colored generalized Frobenius partitions: Generalized Kolitsch identities
Published
• View Publication
• BIB
Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $cφ_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ cφ_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (Γ_0(N),χ_N)$. This extends and strengthens earlier results of Kolitsch and Chan-Wang-Yan treating the case when $N$ is a prime. As an immediate application, we obtain an asymptotic formula for $cφ_N(n)$ in terms of the classical partition function.
New companions to the Andrews--Gordon identities motivated by commutative algebra
Published
• View Publication
• BIB
We give a proof of a recent combinatorial conjecture due to the first author, which was discovered in the framework of commutative algebra. This result gives rise to new companions to the famous Andrews-Gordon identities. Our tools involve graded quotient rings, Durfee squares and rectangles for integer partitions, and $q$-series identities.
Rough Sets in Graphs Using Similarity Relations
Published
• View Publication
• BIB
In this paper, we use theory of rough set to study graphs using the concept of orbits. We investigate the indiscernibility partitions and approximations of graphs induced by orbits of graphs. We also study rough membership functions, essential sets, discernibility matrix and their relationships for graphs.
Irreducible Non-Metrizable Path Systems in Graphs
Published
• View Publication
• BIB
A path system $\mathcal{P}$ in a graph $G=(V,E)$ is said to be irreducible if there does not exist a partition $V= A\sqcup B$ such that $\mathcal{P}$ restricts to a path system on both $G[A]$ and $G[B]$. In this paper, we construct an infinite family of non-metrizable irreducible path systems defined on certain Paley graphs.
Minimal obstructions to $(\infty, k)$-polarity in cographs
Published
• View Publication
• BIB
A graph is a cograph if it does not contain a 4-vertex path as an induced subgraph. An $(s, k)$-polar partition of a graph $G$ is a partition $(A, B)$ of its vertex set such that $A$ induces a complete multipartite graph with at most $s$ parts, and $B$ induces the disjoint union of at most $k$ cliques with no other edges. A graph $G$ is said to be $(s, k)$-polar if it admits an $(s, k)$-polar partition. The concepts of $(s, \infty)$-, $(\infty, k)$-, and $(\infty, \infty)$-polar graphs can be analogously defined.
Ekim, Mahadev and de Werra pioneered in the research on polar cographs, obtaining forbidden induced subgraph characterizations for $(\infty, \infty)$-polar cographs, as well as for the union of $(\infty, 1)$- and $(1, \infty)$-polar cographs. Recently, a recursive procedure for generating the list of cograph minimal $(s,1)$-polar obstructions for any fixed integer $s$ was found, as well as the complete list of $(\infty, 1)$-polar obstructions. In addition to these results, complete lists of minimal $(s, k)$-polar cograph obstructions are known only for the pair $(2, 2)$.
In this work we are concerned with the problem of characterizing $(\infty, k)$-polar cographs for a fixed $k$ through a finite family of forbidden induced subgraphs. As our main result, we provide complete lists of forbidden induced subgraphs for the cases $k=2$ and $k=3$. Additionally, we provide a partial recursive construction for the general case. By considering graph complements, these results extend to $(s, \infty)$-polar cographs.
Minimal obstructions to $(s,1)$-polarity in cographs
Published
• View Publication
• BIB
Let $k,l$ be nonnegative integers. A graph $G$ is $(k,l)$-polar if its vertex set admits a partition $(A,B)$ such that $A$ induces a complete multipartite graph with at most $k$ parts, and $B$ induces a disjoint union of at most $l$ cliques with no other edges. A graph is a cograph if it does not contain $P_4$ as an induced subgraph.
It is known that $(k,l)$-polar cographs can be characterized through a finite family of forbidden induced subgraphs, for any fixed choice of $k$ and $l$. The problem of determining the exact members of such family for $k = 2 = l$ was posted by Ekim, Mahadev and de Werra, and recently solved by Hell, Linhares-Sales and the second author of this paper. So far, complete lists of such forbidden induced subgraphs are known for $0 \le k,l \le 2$; notice that, in particular, $(1,1)$-polar graphs are precisely split graphs.
In this paper, we focus on this problem for $(s,1)$-polar cographs. As our main result, we provide a recursive complete characterization of the forbidden induced subgraphs for $(s,1)$-polar cographs, for every non negative integer $s$. Additionally, we show that cographs having an $(s,1)$-partition for some integer $s$ (here $s$ is not fixed) can be characterized by forbidding a family of four graphs.
Comparing weighted difference and earth mover's distance via Young diagrams
Published
• View Publication
• BIB
We consider two natural statistics on pairs of histograms, in which the $n$ bins have weights $0, \ldots, n-1$. The difference ($\mathbf{D}$) between the weighted totals of the histograms is, in a sense, refined by the earth mover's distance ($\mathbf{EMD}$), which measures the amount of work required to equalize the histograms. We were recently surprised, however, by how little $\mathbf{EMD}$ actually does refine $\mathbf{D}$ in certain real-world applications, which led to the main problem in this paper: what is the probability that $\mathbf{EMD} = |\mathbf{D}|$? We derive a formula for this probability, as well as the expected value of $|\mathbf{D}|$, via the combinatorics of Young diagrams and plane partitions. We then generalize our results to an arbitrary number of histograms, where we realize this higher-dimensional $\mathbf{D}$ as distance on the Type-A root lattice.
Pattern avoidance and dominating compositions
Published in ECA 2:1 (2022) Article S2R4, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A4.pdf
• View Publication
• BIB
Jelínek, Mansour, and Shattuck studied Wilf-equivalence among pairs of patterns of the form $\{σ,τ\}$ where $σ$ is a set partition of size $3$ with at least two blocks. They obtained an upper bound for the number of Wilf-equivalence classes for such pairs. We show that their upper bound is the exact number of equivalence classes, thus solving a problem posed by them.
Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial
Published
• View Publication
• BIB
There are many different algebraic, geometric and combinatorial objects that one can attach to a complex polynomial with distinct roots. In this article we introduce a new object that encodes many of the existing objects that have previously appeared in the literature. Concretely, for every complex polynomial $p$ with $d$ distinct roots and degree at least 2, we produce a canonical compact planar 2-complex that is a compact metric version of a tiled phase diagram. It has a locally CAT(0) metric that is locally Euclidean away from a finite set of interior points indexed by the critical points of $p$, and each of its 2-cells is a metric rectangle. From this planar rectangular 2-complex one can use metric graphs known as metric cacti and metric banyans to read off several pieces of combinatorial data: a chain in the partition lattice, a cyclic factorization of a d-cycle, a real noncrossing partition (also known as a primitive d-major), and the monodromy permutations for the polynomial. This article is the first in a series.
Shelah's partition functions and the Hales-Jewett numbers
In this paper we study several partition relations, defined by Saharon Shelah, and relate them to the Hales-Jewett numbers. In particular we give an upper bound for the Hales-Jewett numbers using the primitive recursive function $\mathtt{f}^{8,*}$ which belongs to the class $\mathcal{E}^5$ of the Grzegorczyk hierarchy and grows slower than the function $\mathtt{f}^{13}$. This improves the recent result of the first author and Shelah.
On irreducible characters of the Iwahori-Hecke algebra in type $A$
Published in J. Algebra 598 (2022) 24-47
• View Publication
• BIB
We use vertex operators to compute irreducible characters of the Iwahori-Hecke algebra of type $A$. Two general formulas are given for the irreducible characters in terms of those of the symmetric groups or the Iwahori-Hecke algebras in lower degrees. Explicit formulas are derived for the irreducible characters labeled by hooks and two-row partitions. Using duality, we also formulate a determinant type Murnaghan-Nakayama formula and give another proof of Ram's combinatorial Murnaghan-Nakayama formula. As applications, we study super-characters of the Iwahori-Hecke algebra as well as the bitrace of the regular representation and provide a simple proof of the Halverson-Luduc-Ram formula.
A zero forcing technique for bounding sums of eigenvalue multiplicities
Published
• View Publication
• BIB
Given a graph $G$, one may ask: "What sets of eigenvalues are possible over all weighted adjacency matrices of $G$?" (The weight of an edge is positive or negative, while the diagonal entries can be any real numbers.) This is known as the Inverse Eigenvalue Problem for graphs (IEP-$G$). A mild relaxation of this question considers the multiplicity list instead of the exact eigenvalues themselves. That is, given a graph $G$ on $n$ vertices and an ordered partition $\mathbf{m}= (m_1, \ldots, m_\ell)$ of $n$, is there a weighted adjacency matrix where the $i$-th distinct eigenvalue has multiplicity $m_i$? This is known as the ordered multiplicity IEP-$G$. Recent work solved the ordered multiplicity IEP-$G$ for all graphs on 6 vertices.
In this work, we develop zero forcing methods for the ordered multiplicity IEP-$G$ in a multitude of different contexts. Namely, we utilize zero forcing parameters on powers of graphs to achieve bounds on consecutive multiplicities. We are able to provide general bounds on sums of multiplicities of eigenvalues for graphs. This includes new bounds on the the sums of multiplicities of consecutive eigenvalues as well as more specific bounds for trees. Using these results, we verify the previous results above regarding the IEP-$G$ on six vertices. In addition, applying our techniques to skew-symmetric matrices, we are able to determine all possible ordered multiplicity lists for skew-symmetric matrices for connected graphs on five vertices.
Explicit Formula for the n-th Derivative of a Quotient
Published in Open Journal of Mathematical Analysis, Vol. 6 (2022), Issue 2, pp.120-129
• View Publication
• BIB
Leibniz's rule for the $n$-th derivative of a product is a very well known and extremely useful formula. In this article, we introduce an analogous explicit formula for the $n$-th derivative of a quotient of two functions. Later, we use this formula to derive new partition identities and to develop expressions for some special $n$-th derivatives.
Set superpartitions and superspace duality modules
Published
• View Publication
• BIB
The superspace ring $Ω_n$ is a rank $n$ polynomial ring tensor a rank $n$ exterior algebra. Using an extension of the Vandermonde determinant to $Ω_n$, the authors previously defined a family of doubly graded quotients $\mathbb{W}_{n,k}$ of $Ω_n$ which carry an action of the symmetric group $\mathfrak{S}_n$ and satisfy a bigraded version of Poincaré Duality. In this paper, we examine the duality modules $\mathbb{W}_{n,k}$ in greater detail. We describe a monomial basis of $\mathbb{W}_{n,k}$ and give combinatorial formulas for its bigraded Hilbert and Frobenius series. These formulas involve new combinatorial objects called {\em ordered superpartitions}. These are ordered set partitions $(B_1 \mid \cdots \mid B_k)$ of $\{1,\dots,n\}$ in which the non-minimal elements of any block $B_i$ may be barred or unbarred.