Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Displaying trees across two phylogenetic networks
Published in Theoretical Computer Science, 796:129-146, 2020
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees to leaf-labeled directed acyclic graphs that represent ancestral relationships between species whose past includes non-tree-like events such as hybridization and horizontal gene transfer. Indeed, each phylogenetic network embeds a collection of phylogenetic trees. Referring to the collection of trees that a given phylogenetic network $N$ embeds as the display set of $N$, several questions in the context of the display set of $N$ have recently been analyzed. For example, the widely studied Tree-Containment problem asks if a given phylogenetic tree is contained in the display set of a given network. The focus of this paper are two questions that naturally arise in comparing the display sets of two phylogenetic networks. First, we analyze the problem of deciding if the display sets of two phylogenetic networks have a tree in common. Surprisingly, this problem turns out to be NP-complete even for two temporal normal networks. Second, we investigate the question of whether or not the display sets of two phylogenetic networks are equal. While we recently showed that this problem is polynomial-time solvable for a normal and a tree-child network, it is computationally hard in the general case. In establishing hardness, we show that the problem is contained in the second level of the polynomial-time hierarchy. Specifically, it is $Π_2^P$-complete. Along the way, we show that two other problems are also $Π_2^P$-complete, one of which being a generalization of Tree-Containment.
Fast algorithms at low temperatures via Markov chains
Published
• View Publication
• BIB
We define a discrete-time Markov chain for abstract polymer models and show that under sufficient decay of the polymer weights, this chain mixes rapidly. We apply this Markov chain to polymer models derived from the hard-core and ferromagnetic Potts models on bounded-degree (bipartite) expander graphs. In this setting, Jenssen, Keevash and Perkins (2019) recently gave an FPTAS and an efficient sampling algorithm at sufficiently high fugacity and low temperature respectively. Their method is based on using the cluster expansion to obtain a complex zero-free region for the partition function of a polymer model, and then approximating this partition function using the polynomial interpolation method of Barvinok.
Our approach via the polymer model Markov chain circumvents the zero-free analysis and the generalization to complex parameters, and leads to a sampling algorithm with a fast running time of $O(n \log n)$ for the Potts model and $O(n^2 \log n)$ for the hard-core model, in contrast to typical running times of $n^{O(\log Δ)}$ for algorithms based on Barvinok's polynomial interpolation method on graphs of maximum degree $Δ$. We finally combine our results for the hard-core and ferromagnetic Potts models with standard Markov chain comparison tools to obtain polynomial mixing time for the usual spin Glauber dynamics restricted to even and odd or `red' dominant portions of the respective state spaces.
The Ramsey Theory of Henson graphs
Published
• View Publication
• BIB
Analogues of Ramsey's Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author's recent result for the triangle-free Henson graph, we prove that for each $k\ge 4$, the $k$-clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey's Theorem.
We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures. The results have bearing on topological dynamics via work of Kechris, Pestov, and Todorcevic and of Zucker.
A study on random permutation graphs
For a given permutation $π_n$ in $S_n$, a random permutation graph is formed by including an edge between two vertices $i$ and $j$ if and only if $(i - j) (π_n(i) - π_n (j)) < 0$. In this paper, we study various statistics of random permutation graphs. In particular, the degree of a given node, the number of nodes with a given degree, the number of isolated vertices, and the number of cliques are analyzed. Further, explicit formulas for the probabilities of having a given number of connected components and isolated vertices are obtained.
Symmetric designs and four dimensional projective special unitary groups
In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is $PSU_{4}(q)$. We prove that there exist eight non-isomorphic such designs for which $λ\in\{3,6,18\}$ and $G$ is either $PSU_{4}(2)$, or $PSU_{4}(2):2$.
Proof of a Conjecture on the Seidel Energy of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with the vertex set $ \lbrace v_1,\ldots,v_n \rbrace$. The Seidel matrix of $G$ is an $n\times n$ matrix whose diagonal entries are zero, $ij$-th entry is $-1$ if $ v_{i} $ and $ v_{j} $ are adjacent and otherwise is $ 1 $. The Seidel energy of $G$ is defined to be the sum of absolute values of all eigenvalues of the Seidel matrix of $G$. Haemers conjectured that the Seidel energy of any graph of order $n$ is at least $2n-2$ and, up to Seidel equivalence, the equality holds for $ K_{n} $. We establish the validity of Haemers' Conjecture in general.
Bivariate Order Polynomials
Published in Graphs and Combinatorics 36 (2020), 921-931
• View Publication
• BIB
Motivated by Dohmen-Pönitz-Tittmann's bivariate chromatic polynomial $χ_G(x,y)$, which counts all $x$-colorings of a graph $G$ such that adjacent vertices get different colors if they are $\le y$, we introduce a bivarate version of Stanley's order polynomial, which counts order preserving maps from a given poset to a chain. Our results include decomposition formulas in terms of linear extensions, a combinatorial reciprocity theorem, and connections to bivariate chromatic polynomials.
Display sets of normal and tree-child networks
Published in The Electronic Journal of Combinatorics, 28, Paper 1.8, 2021
• View Publication
• BIB
Phylogenetic trees canonically arise as embeddings of phylogenetic networks. We recently showed that the problem of deciding if two phylogenetic networks embed the same sets of phylogenetic trees is computationally hard, \blue{in particular, we showed it to be $Π^P_2$-complete}. In this paper, we establish a polynomial-time algorithm for this decision problem if the initial two networks consists of a normal network and a tree-child network. The running time of the algorithm is quadratic in the size of the leaf sets.
Four Deviations Suffice for Rank 1 Matrices
Published
• View Publication
• BIB
We prove a matrix discrepancy bound that strengthens the famous Kadison-Singer result of Marcus, Spielman, and Srivastava. Consider any independent scalar random variables $ξ_1, \ldots, ξ_n$ with finite support, e.g.
$\{ \pm 1 \}$ or $\{ 0,1 \}$-valued random variables, or some combination thereof. Let $u_1, \dots, u_n \in \mathbb{C}^m$ and $$ σ^2 = \left\| \sum_{i=1}^n \text{Var}[ ξ_i ] (u_i u_i^{*})^2 \right\|. $$ Then there exists a choice of outcomes $\varepsilon_1,\ldots,\varepsilon_n$ in the support of $ξ_1, \ldots, ξ_n$ s.t. $$ \left \|\sum_{i=1}^n \mathbb{E} [ ξ_i] u_i u_i^* - \sum_{i=1}^n \varepsilon_i u_i u_i^* \right \| \leq 4 σ. $$ A simple consequence of our result is an improvement of a Lyapunov-type theorem of Akemann and Weaver.
Constructions of Batch Codes via Finite Geometry
Published
• View Publication
• BIB
A primitive $k$-batch code encodes a string $x$ of length $n$ into string $y$ of length $N$, such that each multiset of $k$ symbols from $x$ has $k$ mutually disjoint recovering sets from $y$. We develop new explicit and random coding constructions of linear primitive batch codes based on finite geometry. In some parameter regimes, our proposed codes have lower redundancy than previously known batch codes.
Beyond topological persistence: Starting from networks
Published
• View Publication
• BIB
Persistent homology enables fast and computable comparison of topological objects. However, it is naturally limited to the analysis of topological spaces. We extend the theory of persistence, by guaranteeing robustness and computability to significant data types as simple graphs and quivers. We focus on categorical persistence functions that allow us to study in full generality strong kinds of connectedness such as clique communities, $k$-vertex and $k$-edge connectedness directly on simple graphs and monic coherent categories.
Degree sequence of the generalized Sierpinski graph
Published
• View Publication
• BIB
We determine the degree sequence of the generalized Sierpinski graph and its general first Zagreb index in terms of the same parameters of the base graph G.
Directed Intersection Representations and the Information Content of Digraphs
Published
• View Publication
• BIB
Consider a directed graph (digraph) in which vertices are assigned color sets, and two vertices are connected if and only if they share at least one color and the tail vertex has a strictly smaller color set than the head. We seek to determine the smallest possible size of the union of the color sets that allows for such a digraph representation. To address this problem, we introduce the new notion of a directed intersection representation of a digraph, and show that it is well-defined for all directed acyclic graphs (DAGs). We then proceed to introduce the directed intersection number (DIN), the smallest number of colors needed to represent a DAG. Our main results are upper bounds on the DIN of DAGs based on what we call the longest terminal path decomposition of the vertex set, and constructive lower bounds.
An improvement to a recent upper bound for synchronizing words of finite automata
It has been known since the 60's that any complete discrete $n$-state automaton admits a reset word of length not exceeding $αn^3+o(n^3)$ for some absolute constant $α$. J.-E. Pin and P. Frankl proved this statement with $α=1/6=0.1666...$ in 1982, and this bound remained best known until 2017, when M. Szykuła decreased its value to $α\approx0.1664$. In this note, we present a modification to the latest approach and develop a different counting argument which leads to a more substantial improvement of $α\leqslant 0.1654$.
Partial cubes with pre-hull number at most 1
We prove that a connected bipartite graph G is a partial cube if and only if the set of attaching points of any copoint of G is convex. A consequence of this result is that any connected bipartite graph with pre-hull number at most 1 is a partial cube. We show that the class of partial cubes with pre-hull number at most 1 is closed under gated subgraphs, gated amalgams and cartesian products.
Independent set and matching permutations
Published
• View Publication
• BIB
Let $G$ be a graph $G$ whose largest independent set has size $m$. A permutation $π$ of $\{1, \ldots, m\}$ is an {\em independent set permutation} of $G$ if $$ a_{π(1)}(G) \leq a_{π(2)}(G) \leq \cdots \leq a_{π(m)}(G) $$ where $a_k(G)$ is the number of independent sets of size $k$ in $G$. In 1987 Alavi, Malde, Schwenk and Erdős proved that every permutation of $\{1, \ldots, m\}$ is an independent set permutation of some graph with $α(G)=m$, i.e. with largest independent set having size $m$. They raised the question of determining, for each $m$, the smallest number $f(m)$ such that every permutation of $\{1, \ldots, m\}$ is an independent set permutation of some graph with $α(G)=m$ and with at most $f(m)$ vertices, and they gave an upper bound on $f(m)$ of roughly $m^{2m}$. Here we settle the question, determining $f(m)=m^m$, and make progress on a related question, that of determining the smallest order such that every permutation of $\{1, \ldots, m\}$ is the {\em unique} independent set permutation of some graph of at most that order. More generally we consider an extension of independent set permutations to weak orders, and extend Alavi et al.'s main result to show that every weak order on $\{1, \ldots, m\}$ can be realized by the independent set sequence of some graph with $α(G)=m$ and with at most $m^{m+2}$ vertices.
Alavi et al. also considered {\em matching permutations}, defined analogously to independent set permutations. They observed that not every permutation of $\{1,\ldots,m\}$ is a matching permutation of some graph with largest matching having size $m$, putting an upper bound of $2^{m-1}$ on the number of matching permutations of $\{1,\ldots,m\}$. Confirming their speculation that this upper bound is not tight, we improve it to $O(2^m/\sqrt{m})$.
Unsensed enumeration of cubic unicellular maps on orientable and non-orientable surfaces
We enumerate cubic (3-regular) unicellular maps on closed surfaces up to all homeomorphisms. Using the orbifold approach, we reduce the unsensed enumeration to explicit counts of quotient maps and rooted cubic/precubic maps on simpler surfaces. For orientable hosts this yields a compact identity expressed through known sensed and rooted numbers; for non orientable hosts we obtain a fully explicit finite sum expression via precubic counts. Numerical tables are provided, together with a brief asymptotic discussion.
On Hamiltonian Berge cycles in $3$-uniform hypergraphs
Published
• View Publication
• BIB
Given a set $R$, a hypergraph is $R$-uniform if the size of every hyperedge belongs to $R$. A hypergraph $\mathcal{H}$ is called \textit{covering} if every vertex pair is contained in some hyperedge in $\mathcal{H}$. In this note, we show that every covering $[3]$-uniform hypergraph on $n\geq 6$ vertices contains a Berge cycle $C_s$ for any $3\leq s\leq n$. As an application, we determine the maximum Lagrangian of $k$-uniform Berge-$C_{t}$-free hypergraphs and Berge-$P_{t}$-free hypergraphs.
Anti-Ramsey numbers of paths and cycles in hypergraphs
Published
• View Publication
• BIB
The anti-Ramsey problem was introduced by Erdős, Simonovits and Sós in 1970s. The anti-Ramsey number of a hypergraph $\mathcal{H}$, $ar(n,s, \mathcal{H})$, is the smallest integer $c$ such that in any coloring of the edges of the $s$-uniform complete hypergraph on $n$ vertices with exactly $c$ colors, there is a copy of $\mathcal{H}$ whose edges have distinct colors. In this paper, we determine the anti-Ramsey numbers of linear paths and loose paths in hypergraphs for sufficiently large $n$, and give bounds for the anti-Ramsey numbers of Berge paths. Similar exact anti-Ramsey numbers are obtained for linear/loose cycles, and bounds are obtained for Berge cycles. Our main tools are path extension technique and stability results on hypergraph Turán problems of paths and cycles.
Extremality and Sharp Bounds for the $k$-edge-connectivity of Graphs
Boesch and Chen (SIAM J. Appl. Math., 1978) introduced the cut-version of the generalized edge-connectivity, named $k$-edge-connectivity. For any integer $k$ with $2\leq k\leq n$, the {\em $k$-edge-connectivity} of a graph $G$, denoted by $λ_k(G)$, is defined as the smallest number of edges whose removal from $G$ produces a graph with at least $k$ components.
In this paper, we first compute some exact values and sharp bounds for $λ_k(G)$ in terms of $n$ and $k$. We then discuss the relationships between $λ_k(G)$ and other generalized connectivities. An algorithm in $\mathcal{O}(n^2)$ time will be provided such that we can get a sharp upper bound in terms of the maximum degree. Among our results, we also compute some exact values and sharp bounds for the function $f(n,k,t)$ which is defined as the minimum size of a connected graph $G$ with order $n$ and $λ_k(G)=t$.