Showing 20 papers (Total: 82661 papers, 47773 authors in database)
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.
Recent progress on graphs with fixed smallest eigenvalue
Published
• View Publication
• BIB
We give a survey on graphs with fixed smallest eigenvalue, especially on graphs with large minimal valency and also on graphs with good structures. Our survey mainly consists of the following two parts:
(i) Hoffman graphs, the basic theory related to Hoffman graphs and the applications of Hoffman graphs to graphs with fixed smallest eigenvalue and large minimal valency;
(ii) recent results on distance-regular graphs and co-edge regular graphs with fixed smallest eigenvalue and the characterizations of certain families of distance-regular graphs.
At the end of the survey, we also discuss signed graphs with fixed smallest eigenvalue and present some new findings.
A diagrammatic approach to string polytopes
Published
• View Publication
• BIB
We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $λ$ will be a lattice polytope if and only if the highest weight representation of the Lie algebra of $G$ with highest weight $λ$ integrates to a representation of $G$ itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.
On $2$-closed abelian permutation groups
Published
• View Publication
• BIB
A permutation group $G\le\operatorname{Sym}(Ω)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(Ω)$ has the same orbits on $Ω\timesΩ$ as $G$. A simple and efficient inductive criterion for the $2$-closedness is established for abelian permutation groups with cyclic transitive constituents.
On weak metric dimension of digraphs
Published
• View Publication
• BIB
Using the two way distance, we introduce the concepts of weak metric dimension of a strongly connected digraph $Γ$. We first establish lower and upper bounds for the number of arcs in $Γ$ by using the diameter and weak metric dimension of $Γ$, and characterize all digraphs attaining the lower or upper bound. Then we study a digraph with weak metric dimension $1$ and classify all vertex-transitive digraphs having weak metric dimension $1$. Finally, all digraphs of order $n$ with weak metric dimension $n-1$ or $n-2$ are determined.
Two types of size Ramsey numbers for matchings of small order
Published
• View Publication
• BIB
For simple graphs $G$ and $H$, their size Ramsey number $\hat{r}(G,H)$ is the smallest possible size of $F$ such that for any red-blue coloring of its edges, $F$ contains either a red $G$ or a blue $H$. Similarly, we can define the connected size Ramsey number ${\hat{r}}_c(G,H)$ by adding the prerequisite that $F$ must be connected. In this paper, we explore the relationships between these size Ramsey numbers and give some results on their values for certain classes of graphs. We are mainly interested in the cases where $G$ is either a $2K_2$ or a $3K_2$, and where $H$ is either a cycle $C_n$ or a union of paths $nP_m$. Additionally, we improve an upper bound regarding the values of $\hat{r}(tK_2,P_m)$ and ${\hat{r}}_c(tK_2,P_m)$ for certain $t$ and $m$.