partition
6235 papers tagged with this keyword
Relative Timing Information and Orthology in Evolutionary Scenarios
Published
• View Publication
• BIB
Evolutionary scenarios describing the evolution of a family of genes within a collection of species comprise the mapping of the vertices of a gene tree $T$ to vertices and edges of a species tree $S$. The relative timing of the last common ancestors of two extant genes (leaves of $T$) and the last common ancestors of the two species (leaves of $S$) in which they reside is indicative of horizontal gene transfers (HGT) and ancient duplications. Orthologous gene pairs, on the other hand, require that their last common ancestors coincides with a corresponding speciation event. The relative timing information of gene and species divergences is captured by three colored graphs that have the extant genes as vertices and the species in which the genes are found as vertex colors: the equal-divergence-time (EDT) graph, the later-divergence-time (LDT) graph and the prior-divergence-time (PDT) graph, which together form an edge partition of the complete graph.
Here we give a complete characterization in terms of informative and forbidden triples that can be read off the three graphs and provide a polynomial time algorithm for constructing an evolutionary scenario that explains the graphs, provided such a scenario exists. We show that every EDT graph is perfect. While the information about LDT and PDT graphs is necessary to recognize EDT graphs in polynomial-time for general scenarios, this extra information can be dropped in the HGT-free case. However, recognition of EDT graphs without knowledge of putative LDT and PDT graphs is NP-complete for general scenarios. In contrast, PDT graphs can be recognized in polynomial-time. We finally connect the EDT graph to the alternative definitions of orthology that have been proposed for scenarios with horizontal gene transfer. With one exception, the corresponding graphs are shown to be colored cographs.
(P6, triangle)-free digraphs have bounded dichromatic number
Published
• View Publication
• BIB
The dichromatic number of an oriented graph is the minimum size of a partition of its vertices into acyclic induced subdigraphs. We prove that oriented graphs with no induced directed path on six vertices and no triangle have bounded dichromatic number. This is one (small) step towards the general conjecture asserting that for every oriented tree T and every integer k, any oriented graph that does not contain an induced copy of T nor a clique of size k has dichromatic number at most some function of k and T.
Generating New Partition Identities via a Generalized Continued Fraction Algorithm
Published
• View Publication
• BIB
Using the slow triangle map (a type of multi-dimensional continued fraction algorithm), we exhibit a method for generating any number of new identities for subsets of integer partitions.
A Gap in the Subrank of Tensors
Published in SIAM J. Applied Alg. Geom., 7 (4), 742-767, 2023
• View Publication
• BIB
The subrank of tensors is a measure of how much a tensor can be ''diagonalized''. This parameter was introduced by Strassen to study fast matrix multiplication algorithms in algebraic complexity theory and is closely related to many central tensor parameters (e.g. slice rank, partition rank, analytic rank, geometric rank, G-stable rank) and problems in combinatorics, computer science and quantum information theory. Strassen (J. Reine Angew. Math., 1988) proved that there is a gap in the subrank when taking large powers under the tensor product: either the subrank of all powers is at most one, or it grows as a power of a constant strictly larger than one. In this paper, we precisely determine this constant for tensors of any order. Additionally, for tensors of order three, we prove that there is a second gap in the possible rates of growth. Our results strengthen the recent work of Costa and Dalai (J. Comb. Theory, Ser. A, 2021), who proved a similar gap for the slice rank. Our theorem on the subrank has wider applications by implying such gaps not only for the slice rank, but for any ``normalized monotone''. In order to prove the main result, we characterize when a tensor has a very structured tensor (the W-tensor) in its orbit closure. Our methods include degenerations in Grassmanians, which may be of independent interest.
Enumerating numerical sets associated to a numerical semigroup
Published
• View Publication
• BIB
A numerical set $T$ is a subset of $\mathbb N_0$ that contains $0$ and has finite complement. The atom monoid of $T$ is the set of $x \in \mathbb N_0$ such that $x+T \subseteq T$. Marzuola and Miller introduced the anti-atom problem: how many numerical sets have a given atom monoid? This is equivalent to asking for the number of integer partitions with a given set of hook lengths. We introduce the void poset of a numerical semigroup $S$ and show that numerical sets with atom monoid $S$ are in bijection with certain order ideals of this poset. We use this characterization to answer the anti-atom problem when $S$ has small type.
Spin correlation functions, Ramus-like identities, and enumeration of constrained lattice walks and plane partitions
Published in J.Phys.A: Math.Theor. 55 (2022) 225002 (37 pp) Journal of Physics A: Mathematical and Theoretical, Volume 55, Number 22 (2022) 225002
• View Publication
• BIB
Relations between the mean values of distributions of flipped spins on periodic Heisenberg XX chain and some aspects of enumerative combinatorics are discussed. The Bethe vectors, which are the state-vectors of the model, are considered both as on- and off-shell. It is this approach that makes it possible to represent and to study the correlation functions in the form of non-intersecting nests of lattice walks and related plane partitions. We distinguish between two types of walkers, namely lock step models and random turns. Of particular interest is the connection of random turns walks and a circulant matrix. The determinantal representation for the norm-trace generating function of plane partitions with fixed height of diagonal parts is obtained as the expectation of the generating exponential over off-shell N-particle Bethe states. The asymptotics of the dynamical mean value of the generating exponential is calculated in the double scaling limit provided that the evolution parameter is large. It is shown that the amplitudes of the leading asymptotics depend on the number of diagonally constrained plane partitions.
Affine vector space partitions
Published
• View Publication
• BIB
An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes.
Values of binary partition function represented by a sum of three squares
Published
• View Publication
• BIB
Let $m$ be a positive integer and $b_{m}(n)$ be the number of partitions of $n$ with parts being powers of 2, where each part can take $m$ colors. We show that if $m=2^{k}-1$, then there exists the natural density of integers $n$ such that $b_{m}(n)$ can not be represented as a sum of three squares and it is equal to $1/12$ for $k=1, 2$ and $1/6$ for $k\geq 3$. In particular, for $m=1$ the equation $b_{1}(n)=x^2+y^2+z^2$ has a solution in integers if and only if $n$ is not of the form $2^{2k+2}(8s+2t_{s}+3)+i$ for $i=0, 1$ and $k, s$ are non-negative integers, and where $t_{n}$ is the $n$th term in the Prouhet-Thue-Morse sequence. A similar characterization is obtained for the solutions in $n$ of the equation $b_{2^k-1}(n)=x^2+y^2+z^2$.
Factorization for Generalized Biadjoint Scalar Amplitudes via Matroid Subdivisions
We study the problem of factorization for residues of generalized biadjoint scalar scattering amplitudes $m^{(k)}_n$, introduced by Cachazo, Early, Guevara and Mizera (CEGM), involving multi-dimensional residues which factorize generically into $k$-ary products of lower-point generalized biadjoint amplitudes of the same type $m^{(k)}_{n_1}\cdots m^{(k)}_{n_k}$, where $n_1+\cdots +n_k = n+k(k-1)$, noting that smaller numbers of factors arise as special cases. Such behavior is governed geometrically by regular matroid subdivisions of hypersimplices and cones in the positive tropical Grassmannian, and combinatorially by collections of compatible decorated ordered set partitions, considered modulo cyclic rotation. We make a proposal for conditions under which this happens and we develop $k=3,4$ in detail. We conclude briefly to propose a novel formula to construct coarsest regular matroid subdivisions of all hypersimplices $Δ_{k,n}$ and rays of the positive tropical Grassmannian, which should be of independent interest.
Some Restriction Coefficients for the Trivial and Sign Representations
Published
• View Publication
• BIB
We use character polynomials to obtain a positive combinatorial interpretation of the multiplicity of the sign representation in irreducible polynomial representations of $GL_n(\mathbb{C})$ indexed by two-column and hook partitions. Our method also yields a positive combinatorial interpretation for the multiplicity of the trivial representation of $S_n$ in an irreducible polynomial representation indexed by a hook partition.
Partition universality for graphs of bounded degeneracy and degree
Published
• View Publication
• BIB
We prove asymptotically optimal bounds on the number of edges a graph $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $D$-degenerate graph on $n$ vertices with bounded maximum degree. We also improve the upper bounds on the number of edges $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $n$-vertex graph with maximum degree $Δ$, for each $Δ\ge 4$. In both cases, we show that a binomial random graph with $Cn$ vertices and a suitable edge probability is likely to provide the desired $G$.
Quantum State Transfer in Graphs with Tails
Published
• View Publication
• BIB
We consider quantum state transfer on finite graphs which are attached to infinite paths. The finite graph represents an operational quantum system for performing useful quantum information tasks. In contrast, the infinite paths represent external infinite-dimensional systems which have limited (but nontrivial) interaction with the finite quantum system. We show that {\em perfect} state transfer can surprisingly still occur on the finite graph even in the presence of the infinite tails. Our techniques are based on a decoupling theorem for eventually-free Jacobi matrices, equitable partitions, and standard Lie theoretic arguments. Through these methods, we rehabilitate the notion of a dark subspace which had been so far viewed in an unflattering light.
Transitivity on subclasses of chordal graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph, where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive $k$-partition} if $V_i$ dominates $V_j$ for all $i,j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called \emph{transitivity} of $G$ and it is denoted by $Tr(G)$. The \textsc{Maximum Transitivity Problem} is to find a transitive partition of a given graph with the maximum number of partitions. It was known that the decision version of \textsc{Maximum Transitivity Problem} is NP-complete for chordal graphs [Iterated colorings of graphs, \emph{Discrete Mathematics}, 278, 2004]. In this paper, we first prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. We also discuss Nordhaus-Gaddum type relations for transitivity and provide counterexamples for an open problem posed by J. T. Hedetniemi and S. T. Hedetniemi [The transitivity of a graph, \emph{J. Combin. Math. Combin. Comput}, 104, 2018]. Finally, we characterize transitively critical graphs having fixed transitivity.
Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners
Published
• View Publication
• BIB
A fundamental result in the study of graph homomorphisms is Lovász's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lovász's result to more general types of graphs was recently capped by Cai and Govorov, who showed that it holds for graphs with vertex and edge weights from an arbitrary field of characteristic 0. In this work, we generalize from graph homomorphism -- a special case of #CSP with a single binary function -- to general #CSP by showing that two sets $\mathcal{F}$ and $\mathcal{G}$ of arbitrary constraint functions are isomorphic if and only if the partition function of any #CSP instance is unchanged when we replace the functions in $\mathcal{F}$ with those in $\mathcal{G}$. We give two very different proofs of this result. First, we demonstrate the power of the simple Vandermonde interpolation technique of Cai and Govorov by extending it to general #CSP. Second, we give a proof using the intertwiners of the automorphism group of a constraint function set, a concept from the representation theory of compact groups. This proof is a generalization of a classical version of the recent proof of the Lovász-type result by Mančinska and Roberson relating quantum isomorphism and homomorphisms from planar graphs.
Limit shapes for skew Howe duality
We study large random partitions boxed into a rectangle and coming from skew Howe duality, or alternatively from dual Schur measures. As the sides of the rectangle go to infinity, we obtain: 1) limit shape results for the profiles generalizing the Vershik--Kerov--Logan--Shepp curve; and 2) universal edge asymptotic results for the first parts in the form of the Tracy--Widom distribution, as well as less-universal critical regime results introduced by Gravner, Tracy and Widom. We do this for a large class of Schur parameters going beyond the Plancherel or principal specializations previously studied in the literature, parametrized by two real valued functions $f$ and $g$. Connections to a Bernoulli model of (last passage) percolation are explored.
Approximating the chromatic polynomial is as hard as computing it exactly
Published
• View Publication
• BIB
We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$.
Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.
A vertex operator reformulation of the Kanade-Russell conjecture modulo 9
Published
• View Publication
• BIB
We reformulate the Kanade-Russell conjecture modulo 9 via the vertex operators for the level 3 standard modules of type $D^{(3)}_{4}$. Along the same line, we arrive at three partition theorems which may be regarded as an $A^{(2)}_{4}$ analog of the conjecture. One had been proven by Andrews-van Ekeren-Heluani and we point out that the others are easily proved from their results.
Atomic length on Weyl groups
Published
• View Publication
• BIB
We define a new statistic on Weyl groups called the atomic length and investigate its combinatorial and representation-theoretic properties. In finite types, we show a number of properties of the atomic length which are reminiscent of the properties of the usual length. Moreover, we prove that, with the exception of rank two, this statistic describes an interval. In affine types, our results shed some light on classical enumeration problems, such as the celebrated Granville-Ono theorem on the existence of core partitions, by relating the atomic length to the theory of crystals.
Introduction to total coalitions in graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$. Two disjoint sets $V_1, V_2\subseteq V$ are called a total coalition in $G$, if neither $V_1$ and $V_2$ is a total dominating set of $G$ but $V_1\cup V_2$ is a total dominating set. A total coalition partition of $G$ is a vertex partition $π=\{V_1,V_2,\ldots, V_k\}$ such that no set of $π$ is a total dominating set but each set $V_i\in π$ forms a total coalition with another set $V_j\in π$. The maximum cardinality of a total coalition partition of $G$ is called the total coalition number of $G$, denoted by $TC(G)$. In this paper, we initiate the study of the total coalition in graphs and its properties.
Invariants of Tutte Partitions and a $q$-Analogue
Published
• View Publication
• BIB
We describe a construction of the Tutte polynomial for both matroids and $q$-matroids based on an appropriate partition of the underlying support lattice into intervals that correspond to prime-free minors, which we call a Tutte partition. We show that such partitions in the matroid case include the class of partitions arising in Crapo's definition of the Tutte polynomial, while not representing a direct $q$-analogue of such partitions. We propose axioms of $q$-Tutte-Grothendiek invariance and show that this yields a $q$-analogue of Tutte-Grothendiek invariance. We establish the connection between the rank polynomial and the Tutte polynomial, showing that one can be obtained from the other by convolution.