Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Quadrant Walks Starting Outside the Quadrant
We investigate a functional equation which resembles the functional equation for the generating function of a lattice walk model for the quarter plane. The interesting feature of this equation is that its orbit sum is zero while its solution is not algebraic. The solution can be interpreted as the generating function of lattice walks in $\mathbb{Z}^2$ starting at $(-1,-1)$ and subject to the restriction that the coordinate axes can be crossed only in one direction. We also consider certain variants of the equation, all of which seem to have transcendental solutions. In one case, the solution is perhaps not even D-finite.
Combinatorial perspectives on Dollo-$k$ characters in phylogenetics
Published
• View Publication
• BIB
Recently, the perfect phylogeny model with persistent characters has attracted great attention in the literature. It is based on the assumption that complex traits or characters can only be gained once and lost once in the course of evolution. Here, we consider a generalization of this model, namely Dollo parsimony, that allows for multiple character losses. More precisely, we take a combinatorial perspective on the notion of Dollo-$k$ characters, i.e. traits that are gained at most once and lost precisely $k$ times throughout evolution. We first introduce an algorithm based on the notion of spanning subtrees for finding a Dollo-$k$ labeling for a given character and a given tree in linear time. We then compare persistent characters (consisting of the union of Dollo-0 and Dollo-1 characters) and general Dollo-$k$ characters. While it is known that there is a strong connection between Fitch parsimony and persistent characters, we show that Dollo parsimony and Fitch parsimony are in general very different. Moreover, while it is known that there is a direct relationship between the number of persistent characters and the Sackin index of a tree, a popular index of tree balance, we show that this relationship does not generalize to Dollo-$k$ characters. In fact, determining the number of Dollo-$k$ characters for a given tree is much more involved than counting persistent characters, and we end this manuscript by introducing a recursive approach for the former. This approach leads to a polynomial time algorithm for counting the number of Dollo-$k$ characters, and both this algorithm as well as the algorithm for computing Dollo-$k$ labelings are publicly available in the Babel package for BEAST 2.
Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs
Let $G$ be a graph and $S, T \subseteq V(G)$ be (possibly overlapping) sets of terminals, $|S|=|T|=k$. We are interested in computing a vertex sparsifier for terminal cuts in $G$, i.e., a graph $H$ on a smallest possible number of vertices, where $S \cup T \subseteq V(H)$ and such that for every $A \subseteq S$ and $B \subseteq T$ the size of a minimum $(A,B)$-vertex cut is the same in $G$ as in $H$. We assume that our graphs are unweighted and that terminals may be part of the min-cut. In previous work, Kratsch and Wahlström (FOCS 2012/JACM 2020) used connections to matroid theory to show that a vertex sparsifier $H$ with $O(k^3)$ vertices can be computed in randomized polynomial time, even for arbitrary digraphs $G$. However, since then, no improvements on the size $O(k^3)$ have been shown.
In this paper, we draw inspiration from the renowned Bollobás's Two-Families Theorem in extremal combinatorics and introduce the use of total orderings into Kratsch and Wahlström's methods. This new perspective allows us to construct a sparsifier $H$ of $Θ(k^2)$ vertices for the case that $G$ is a DAG. We also show how to compute $H$ in time near-linear in the size of $G$, improving on the previous $O(n^{ω+1})$. Furthermore, $H$ recovers the closest min-cut in $G$ for every partition $(A,B)$, which was not previously known. Finally, we show that a sparsifier of size $Ω(k^2)$ is required, both for DAGs and for undirected edge cuts.
Set-valued domino tableaux and shifted set-valued domino tableaux
Published
• View Publication
• BIB
We prove K-theoretic and shifted K-theoretic analogues of the bijection of Stanton and White between domino tableaux and pairs of semistandard tableaux. As a result, we obtain product formulas for pairs of stable Grothendieck polynomials and pairs of K-theoretic Q-Schur functions.
The Paired Domination Number of Cubic Graphs
Let G be a simple undirected graph with no isolated vertex. A paired dominating set of G is a dominating set which induces a subgraph that has a perfect matching. The paired domination number of G, denoted by γpr(G), is the size of its smallest paired dominating set. Goddard and Henning conjectured that γpr(G) {\leq} 4n/7 holds for every graph G with δ(G) {\geq} 3, except the Petersen Graph. In this paper, we prove this conjecture for cubic graphs.
Solving the r-pseudoforest Deletion Problem in Time Independent of r
The feedback vertex set problem is one of the most studied parameterized problems. Several generalizations of the problem have been studied where one is to delete vertices to obtain graphs close to acyclic. In this paper, we give an FPT algorithm for the problem of deleting at most $k$ vertices to get an $r$-pseudoforest. A graph is an $r$-pseudoforest if we can delete at most $r$ edges from each component to get a forest. Philip et al. introduced this problem and gave an $O^*(c_{r}^{k})$ algorithm for it, where $c_r$ depends on $r$ double exponentially. In comparison, our algorithm runs in time $O^*((10k)^{k})$, independent of $r$.
Gorenstein Fano toric degenerations
We propose a refined but natural notion of toric degenerations that respect a given embedding and show that within this framework a Gorenstein Fano variety can only be degenerated to a Gorenstein Fano toric variety if it is embedded via its anticanonical embedding. This also gives a precise criterion for reflexive polytopes to appear, which might be required for applications in mirror symmetry. For the proof of this statement we will study polytopes whose polar dual is a lattice polytope. As a byproduct we generalize a connection between the number of lattice points in a rational convex polytope and the Euler characteristic of an associated torus invariant rational Weil divisor, allowing us to show that Ehrhart-Macdonald Reciprocity and Serre Duality are equivalent statements for a broad class of varieties. Additionally, we conjecture a necessary and sufficient condition for the Ehrhart quasi-polynomial of a rational convex polytope to be a polynomial. Finally, we show that the anticanonical line bundle on a Gorenstein Fano variety with at worst rational singularities is uniquely determined by a combinatorial condition of its Hilbert polynomial.
The Hydrostructure: a Universal Framework for Safe and Complete Algorithms for Genome Assembly
Genome assembly is a fundamental problem in Bioinformatics, requiring to reconstruct a source genome from an assembly graph built from a set of reads (short strings sequenced from the genome). A notion of genome assembly solution is that of an arc-covering walk of the graph. Since assembly graphs admit many solutions, the goal is to find what is definitely present in all solutions, or what is safe. Most practical assemblers are based on heuristics having at their core unitigs, namely paths whose internal nodes have unit in-degree and out-degree, and which are clearly safe. The long-standing open problem of finding all the safe parts of the solutions was recently solved [RECOMB 2016] yielding a 60% increase in contig length. This safe and complete genome assembly algorithm was followed by other works improving the time bounds, as well as extending the results for different notions of assembly solution. But it remained open whether one can be complete also for models of genome assembly of practical applicability.
In this paper we present a universal framework for obtaining safe and complete algorithms which unify the previous results, while also allowing for easy generalisations to assembly problems including many practical aspects. This is based on a novel graph structure, called the hydrostructure of a walk, which highlights the reachability properties of the graph from the perspective of the walk. The hydrostructure allows for simple characterisations of the existing safe walks, and of their new practical versions. Almost all of our characterisations are directly adaptable to optimal verification algorithms, and simple enumeration algorithms. Most of these algorithms are also improved to optimality using an incremental computation procedure and a previous optimal algorithm of a specific model.
Polynomiality properties of tropical refined invariants
Tropical refined invariants of toric surfaces constitute a fascinating interpolation between real and complex enumerative geometries via tropical geometry. They were originally introduced by Block and Göttsche, and further extended by Göttsche and Schroeter in the case of rational curves.
In this paper, we study the polynomial behavior of coefficients of these tropical refined invariants. We prove that coefficients of small codegree are polynomials in the Newton polygon of the curves under enumeration, when one fixes the genus of the latter. This provides a somehow surprising resurgence, in some sort of dual setting, of the so-called node polynomials and Göttsche conjecture. Our methods are entirely combinatorial, hence our results may suggest phenomenons in complex enumerative geometry that have not been studied yet.
In the particular case of rational curves, we extend our polynomiality results by including the extra parameter $s$ recording the number of $ψ$ classes. Contrary to the polynomiality with respect to $ Δ$, the one with respect to $s$ may be expected from considerations on Welschinger invariants in real enumerative geometry. This pleads in particular in favor of a geometric definition of Göttsche-Schroeter invariants.
Treewidth of the generalized Kneser graphs
Published
• View Publication
• BIB
Let $n$, $k$ and $t$ be integers with $1\leq t< k \leq n$. The \emph{generalized Kneser graph} $K(n,k,t)$ is a graph whose vertices are the $k$-subsets of a fixed $n$-set, where two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|<t$. The graph $K(n,k,1)$ is the well-known \emph{Kneser graph}. In 2014, Harvey and Wood determined the exact treewidth of the Kneser graphs for large $n$ with respect to $k$. In this paper, we give the exact treewidth of the generalized Kneser graphs for $t\geq2$ and large $n$ with respect to $k$ and $t$. In the special case when $t=k-1$, the graph $K(n,k,k-1)$ usually denoted by $\overline{J(n,k)}$ which is the complement of the Johnson graph $J(n,k)$. We give a more precise result for the exact value of the treewidth of $\overline{J(n,k)}$ for any $n$ and $k$.
Square-free reducts of words
A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining thereby a shorter word. By repeating this process, a square-free word is eventually reached, which we call a \emph{reduct} of the original word.
How many different reducts a single word may have? It is not hard to prove that any binary word has exactly one reduct. We prove that there exist ternary words with arbitrarily many reducts. Moreover, the function counting the maximum number of reducts a ternary word of length $n$ may have grows exponentially. We also prove that over four letters, there exist words with any given number of reducts, which does not seem to be the case for ternary words. Finally, we demonstrate that the set of all finite ternary words splits into finitely many classes of \emph{related} words (one may get from one word to the other by a sequence of square reductions and factor duplications). A few open questions are posed concerning some structures on words defined with the use of the square reduction.
Cylindric partitions and some new $A_2$ Rogers-Ramanujan identities
Published
• View Publication
• BIB
We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar.
Connectedness of the Free Uniform Spanning Forest as a function of edge weights
Published
• View Publication
• BIB
Let $G$ be the Cartesian product of a regular tree $T$ and a finite connected transitive graph $H$. It is shown in arXiv:2006.06387 that the Free Uniform Spanning Forest ($\mathsf{FSF}$) of this graph may not be connected, but the dependence of this connectedness on $H$ remains somewhat mysterious. We study the case when a positive weight $w$ is put on the edges of the $H$-copies in $G$, and conjecture that the connectedness of the $\mathsf{FSF}$ exhibits a phase transition. For large enough $w$ we show that the $\mathsf{FSF}$ is connected, while for a large family of $H$ and $T$, the $\mathsf{FSF}$ is disconnected when $w$ is small (relying on arXiv:2006.06387). Finally, we prove that when $H$ is the graph of one edge, then for any $w$, the $\mathsf{FSF}$ is a single tree, and we give an explicit formula for the distribution of the distance between two points within the tree.
Unavoidable hypergraphs
The following very natural problem was raised by Chung and Erdős in the early 80's and has since been repeated a number of times. What is the minimum of the Turán number $\text{ex}(n,\mathcal{H})$ among all $r$-graphs $\mathcal{H}$ with a fixed number of edges? Their actual focus was on an equivalent and perhaps even more natural question which asks what is the largest size of an $r$-graph that can not be avoided in any $r$-graph on $n$ vertices and $e$ edges?
In the original paper they resolve this question asymptotically for graphs, for most of the range of $e$. In a follow-up work Chung and Erdős resolve the $3$-uniform case and raise the $4$-uniform case as the natural next step. In this paper we make first progress on this problem in over 40 years by asymptotically resolving the $4$-uniform case which gives us some indication on how the answer should behave in general.
Large-scale geometry of the saddle connection graph
Published
• View Publication
• BIB
We prove that the saddle connection graph associated to any half-translation surface is 4-hyperbolic and uniformly quasi-isometric to the regular countably infinite-valent tree. Consequently, the saddle connection graph is not quasi-isometrically rigid. We also characterise its Gromov boundary as the set of straight foliations with no saddle connections. In our arguments, we give a generalisation of the unicorn paths in the arc graph which may be of independent interest.
Best response dynamics on random graphs
Published
• View Publication
• BIB
We consider evolutionary games on a population whose underlying topology of interactions is determined by a binomial random graph $G(n,p)$. Our focus is on 2-player symmetric games with 2 strategies played between the incident members of such a population. Players update their strategies synchronously. At each round, each player selects the strategy that is the best response to the current set of strategies its neighbours play. We show that such a system reduces to generalised majority and minority dynamics. We show rapid convergence to unanimity for $p$ in a range that depends on a certain characteristic of the payoff matrix. In the presence of a bias among the pure Nash equilibria of the game, we determine a sharp threshold on $p$ above which the largest connected component reaches unanimity with high probability. For $p$ below this critical value, where this does not happen, we identify those substructures inside the largest component that remain discordant throughout the evolution of the system.
Structural Equivalence in Graphs and Complete Skeletons
Two vertices $u$ and $v$ of a graph $Γ$ are strucuturally equivalent if and only if the transposition $(u\,v)$ is in Aut($Γ$), the automorphism group of $Γ$. Some properties of structural equivalence and the group of vertex permutations generated by the transpositions in Aut($Γ$) are discussed, along with the prime graphs of these groups. The notion of structural equivalence is used to develop a way of reconfiguring graphs into what are called their complete skeletons, which is closely related to compression graphs. Finally, the complete skeleton of a graph $Γ$, denoted $Ω(Γ)$, is used to find a formula for rank$(I+A(Γ))$, which is helpful for determining the multiplicity of the -1 eigenvalue of $Γ$.
Dihedral Sieving on Cluster Complexes
Published in ECA 2:2 (2022) Article S2R9
• View Publication
• BIB
The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of every type. In the type A case, we show that the Raney numbers count both reflection-symmetric k-angulations of an n-gon and a particular evaluation of the (q,t)-Fuss--Catalan numbers. We also introduce a sieving phenomenon for the symmetric group, and discuss possibilities for dihedral sieving for even n.
Pre-Calabi-Yau algebras and noncommutative calculus on higher cyclic Hochschild cohomology
We prove $L_{\infty}$-formality for the higher cyclic Hochschild complex $\chH$ over free associative algebra or path algebra of a quiver. The $\chH$ complex is introduced as an appropriate tool for the definition of pre-Calabi-Yau structure. We show that cohomologies of this complex are pure in case of free algebras (path algebras), concentrated in degree zero. It serves as a main ingredient for the formality proof. For any smooth algebra we choose a small qiso subcomplex in the higher cyclic Hochschild complex, which gives rise to a calculus of highly noncommutative monomials, we call them $ξδ$-monomials. The Lie structure on this subcomplex is combinatorially described in terms of $ξδ$-monomials. This subcomplex and a basis of $ξδ$-monomials in combination with arguments from Groebner bases theory serves for the cohomology calculations of the higher cyclic Hochschild complex. The language of $ξδ$-monomials in particular allows an interpretation of pre-Calabi-Yau structure as a noncommutative Poisson structure.
Poincaré Series of Divisors on Graphs and Chains of Loops
We study Poincaré series associated to a finite collection of divisors on i. a finite graph and ii. a certain family of metric graphs called chain of loops. Our main results are proofs of rationality of the Poincaré series and algorithms for computing it in both these cases. The main tools used in the proof of rationality are the following. For graphs, we study a certain homomorphism from a free Abelian group of finite rank to the direct sum of the Jacobian of the graph and the integers. For chains of loops, our main tool is an analogue of Lang's conjecture for Brill-Noether loci on a chain of loops and adapts the proof of rationality of the Poincaré series of divisors on an algebraic curve (over an algebraically closed field of characteristic zero). Our algorithms are based on a closer study of the objects involved in the proof of rationality, for instance, computing the fibres of certain homomorphisms and lattice point enumeration in rational polyhedra.