natural ↗ reference
4897 papers tagged with this keyword
Geometric comparison of phylogenetic trees with different leaf sets
Published
• View Publication
• BIB
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BHV space. Davidson et al. recently approached this problem by describing a combinatorial algorithm extending tree topologies to regions in higher dimensional tree spaces, so that one can quickly compute which topologies contain a given tree as partial data. In this paper, we refine and adapt their algorithm to work for metric trees to give a full characterization of the subspace of extensions of a subtree. We describe how to apply our algorithm to define and search a space of possible supertrees and, for a collection of tree fragments with different leaf sets, to measure their compatibility.
Finding unavoidable colorful patterns in multicolored graphs
Published in The Electronic Journal of Combinatorics, volume 27, issue 4, #P4.4, September 2020
• View Publication
• BIB
We provide multicolored and infinite generalizations for a Ramsey-type problem raised by Bollobás, concerning colorings of $K_n$ where each color is well-represented. Let $χ$ be a coloring of the edges of a complete graph on $n$ vertices into $r$ colors. We call $χ$ $\varepsilon$-balanced if all color classes have $\varepsilon$ fraction of the edges. Fix some graph $H$, together with an $r$-coloring of its edges. Consider the smallest natural number $R_\varepsilon^r(H)$ such that for all $n\geq R_\varepsilon^r(H)$, all $\varepsilon$-balanced colorings $χ$ of $K_n$ contain a subgraph isomorphic to $H$ in its coloring. Bollobás conjectured a simple characterization of $H$ for which $R_\varepsilon^2(H)$ is finite, which was later proved by Cutler and Montágh. Here, we obtain a characterization for arbitrary values of $r$, as well as asymptotically tight bounds. We also discuss generalizations to graphs defined on perfect Polish spaces, where the corresponding notion of balancedness is each color class being non-meagre.
The variety of domination games
Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games.
Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph.
Vertex and Edge connectivity of the zero divisor graph $Γ[\mathbb {Z}_n]$
The Zero divisor Graph of a commutative ring $R$, denoted by $Γ[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. In this paper we derive the Vertex and Edge Connectivity of the zero divisor graph $Γ[\mathbb{Z}_n]$, for any natural number $n$ . We also discuss the minimum degree of the zero divisor graph $Γ[\mathbb{Z}_n]$.
Combining extensions of the Hales-Jewett\\ Theorem with Ramsey Theory\\ in other structures
Published
• View Publication
• BIB
The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence.
Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$.
We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.
Rule Algebras for Adhesive Categories
Published in Logical Methods in Computer Science, Volume 16, Issue 3 (July 3, 2020) lmcs:5164
• View Publication
• BIB
We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of $\mathcal{M}$-adhesive categories. This observation complements the classical Concurrency Theorem of DPO rewriting. We then proceed to define rule algebras in both settings, where the most general categories permissible are the finitary (or finitary restrictions of) $\mathcal{M}$-adhesive categories with $\mathcal{M}$-effective unions. If in addition a given such category possess an $\mathcal{M}$-initial object, the resulting rule algebra is unital (in addition to being associative). We demonstrate that in this setting a canonical representation of the rule algebras is obtainable, which opens the possibility of applying the concept to define and compute the evolution of statistical moments of observables in stochastic DPO rewriting systems.
A variant of the Erdos-Renyi random graph process
Published
• View Publication
• BIB
We consider a natural variant of the Erdős-Rényi random graph process in which $k$ vertices are special and are never put into the same connected component. The model is natural and interesting on its own, but is actually inspired by the combinatorial data fusion problem that itself is connected to a number of important problems in graph theory. We will show that a phase transition occurs when the number of special vertices is roughly $n^{1/3}$, where $n$ is the number of vertices.
Finding a Maximum-Weight Convex Set in a Chordal Graph
Published
• View Publication
• BIB
We consider a natural combinatorial optimization problem on chordal graphs, the class of graphs with no induced cycle of length four or more. A subset of vertices of a chordal graph is (monophonically) convex if it contains the vertices of all chordless paths between any two vertices of the set. The problem is to find a maximum-weight convex subset of a given vertex-weighted chordal graph. It generalizes previously studied special cases in trees and split graphs. It also happens to be closely related to the closure problem in partially ordered sets and directed graphs. We give the first polynomial-time algorithm for the problem.
Graphs determined by signless Laplacian spectra
Published in AKCE International Journal of Graphs and Combinatorics, 2018
• View Publication
• BIB
In the past decades, graphs that are determined by their spectrum have received more attention, since they have been applied to several fields, such as randomized algorithms, combinatorial optimization problems and machine learning. An important part of spectral graph theory is devoted to determining whether given graphs or classes of graphs are determined by their spectra or not. So, finding and introducing any class of graphs which are determined by their spectra can be an interesting and important problem. A graph is said to be DQS if there is no other non-isomorphic graph with the same signless Laplacian spectrum. For a DQS graph G, we show that G[rK1 [sK2 is DQS under certain conditions, where r, s are natural numbers and K1 and K2 denote the complete graphs on one vertex and two vertices, respectively. Applying these results, some DQS graphs with independent edges and isolated vertices are obtained
Improved bounds for multipass pairing heaps and path-balanced binary search trees
We revisit multipass pairing heaps and path-balanced binary search trees (BSTs), two classical algorithms for data structure maintenance. The pairing heap is a simple and efficient "self-adjusting" heap, introduced in 1986 by Fredman, Sedgewick, Sleator, and Tarjan. In the multipass variant (one of the original pairing heap variants described by Fredman et al.) the minimum item is extracted via repeated pairing rounds in which neighboring siblings are linked.
Path-balanced BSTs, proposed by Sleator (Subramanian, 1996), are a natural alternative to Splay trees (Sleator and Tarjan, 1983). In a path-balanced BST, whenever an item is accessed, the search path leading to that item is re-arranged into a balanced tree.
Despite their simplicity, both algorithms turned out to be difficult to analyse. Fredman et al. showed that operations in multipass pairing heaps take amortized $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$ time. For searching in path-balanced BSTs, Balasubramanian and Raman showed in 1995 the same amortized time bound of $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$, using a different argument.
In this paper we show an explicit connection between the two algorithms and improve the two bounds to $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot \log^{\ast}{n}\right)$, respectively $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot (\log^{\ast}{n})^2 \right)$, where $\log^{\ast}(\cdot)$ denotes the very slowly growing iterated logarithm function. These are the first improvements in more than three, resp. two decades, approaching in both cases the information-theoretic lower bound of $Ω(\log{n})$.
A generalized Turán problem in random graphs
Published
• View Publication
• BIB
We study the following generalization of the Turán problem in sparse random graphs. Given graphs $T$ and $H$, let $\mathrm{ex}\big(G(n,p), T, H\big)$ be the random variable that counts the largest number of copies of $T$ in a subgraph of $G(n,p)$ that does not contain $H$. We study the threshold phenomena arising in the evolution of the typical value of this random variable, for every $H$ and an arbitrary $2$-balanced $T$.
Our results in the case when $m_2(H) > m_2(T)$ are a natural generalization of the Erdős--Stone theorem for $G(n,p)$, which was proved several years ago by Conlon and Gowers and by Schacht; the case $T = K_m$ has been recently resolved by Alon, Kostochka, and Shikhelman. More interestingly, the case when $m_2(H) \le m_2(T)$ exhibits a more complex and subtle behavior. Namely, the location(s) of the (possibly multiple) threshold(s) are determined by densities of various coverings of $H$ with copies of $T$ and the typical value(s) of $\mathrm{ex}\big(G(n,p), T, H\big)$ are given by solutions to deterministic hypergraph Turán-type problems that we are unable to solve in full generality.
On the automaticity of the Hankel determinants of a family of automatic sequences
Published
• View Publication
• BIB
Hankel determinants and automatic sequences are two classical subjects widely studied in Mathematics and Theoretical Computer Science. However, these two topics were considered totally independently, until in 1998, when Allouche, Peyrière, Wen and Wen proved that all the Hankel determinants of the Thue-Morse sequence are nonzero. This property allowed Bugeaud to prove that the irrationality exponents of the Thue-Morse-Mahler numbers are exactly 2. Since then, the Hankel determinants of several other automatic sequences, in particular, the paperfolding sequence, the Stern sequence, the period-doubling sequence, are studied by Coons, Vrbik, Guo, Wu, Wen, Bugeaud, Fu, Han, Fokkink, Kraaikamp, and Shallit. On the other hand, it is known that the Hankel determinants of a rational power series are ultimately zero, and the Hankel determinants of a quadratic power series over finite fields are ultimately periodic. It is therefore natural to ask if we can obtain similar results about the Hankel determinants of algebraic series. In the present paper, we provide a partial answer to this question by establishing the automaticity of the reduced Hankel determinants modulo $2$ of $\pm 1$-automatic sequences with kernel of cardinality at most $2$.
Positive Grassmannian and polyhedral subdivisions
Published
• View Publication
• BIB
The nonnegative Grassmannian is a cell complex with rich geometric, algebraic, and combinatorial structures. Its study involves interesting combinatorial objects, such as positroids and plabic graphs. Remarkably, the same combinatorial structures appeared in many other areas of mathematics and physics, e.g., in the study of cluster algebras, scattering amplitudes, and solitons. We discuss new ways to think about these structures. In particular, we identify plabic graphs and more general Grassmannian graphs with polyhedral subdivisions induced by 2-dimensional projections of hypersimplices. This implies a close relationship between the positive Grassmannian and the theory of fiber polytopes and the generalized Baues problem. This suggests natural extensions of objects related to the positive Grassmannian.
Partition implications of a new three parameter $q$-series identity
Published
• View Publication
• BIB
A generalization of a beautiful $q$-series identity found in the unorganized portion of Ramanujan's second and third notebooks is obtained. As a consequence, we derive a new three-parameter identity which is a rich source of partition-theoretic information. In particular, we use this identity to obtain a generalization of a recent result of Andrews, Garvan and Liang, which itself generalizes the famous result of Fokkink, Fokkink and Wang. This three-parameter identity also leads to several new weighted partition identities as well as a natural proof of a recent result of Garvan. This natural proof gives interesting number-theoretic information along the way. We also obtain a new result consisting of an infinite series involving a special case of Fine's function $F(a,b;t)$, namely, $F(0,q^n;cq^n)$. For $c=1$, this gives Andrews' famous identity for $\mathrm{spt}(n)$ whereas for $c=-1, 0$ and $q$, it unravels new relations that the divisor function $d(n)$ has with other partition-theoretic functions such as the largest parts function $\mathrm{lpt}(n)$.
On the $t$-adic Littlewood Conjecture
Published
• View Publication
• BIB
The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC).
It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed.
The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.
Aligned plane drawings of the generalized Delaunay-graphs for pseudo-disks
Published in Journal of Computational Geometry 11(1) (2020), 354-370
• Search Publication
We study general Delaunay-graphs, which are natural generalizations of Delaunay triangulations to arbitrary families, in particular to pseudo-disks. We prove that for any finite pseudo-disk family and point set, there is a plane drawing of their Delaunay-graph such that every edge lies inside every pseudo-disk that contains its endpoints.
From unicellular fatgraphs to trees
In this paper we study the minimum number of reversals needed to transform a unicellular fatgraph into a tree. We consider reversals acting on boundary components, having the natural interpretation as gluing, slicing or half-flipping of vertices. Our main result is an expression for the minimum number of reversals needed to transform a unicellular fatgraph to a plane tree. The expression involves the Euler genus of the fatgraph and an additional parameter, which counts the number of certain orientable blocks in the decomposition of the fatgraph. In the process we derive a constructive proof of how to decompose non-orientable, irreducible, unicellular fatgraphs into smaller fatgraphs of the same type or trivial fatgraphs, consisting of a single ribbon. We furthermore provide a detailed analysis how reversals affect the component-structure of the underlying fatgraphs. Our results generalize the Hannenhalli-Pevzner formula for the reversal distance of signed permutations.
On the spectral determinations of the connected multicone graphs $ K_r\bigtriangledown sK_t $
Published
• View Publication
• BIB
In this study we investigate the spectra of the family of connected multicone graphs. A multicone graph is defined to be the join of a clique and a regular graph. Let $ r $, $ t $ and $ s $ be natural numbers, and let $ K_r $ denote a complete graph on $ r $ vertices. It is proved that connected multicone graphs $ K_r\bigtriangledown sK_t $, a natural generalization of friendship graphs, are determined by their adjacency spectra as well as their Laplacian spectra. Also, we show that the complement of multicone graphs $ K_r\bigtriangledown sK_t $ are determined by their adjacency spectra, where $ s\neq 2 $.
Set partitions without blocks of certain sizes
Published
• View Publication
• BIB
We give an asymptotic estimate for the number of partitions of a set of $n$ elements, whose block sizes avoid a given set $\mathcal{S}$ of natural numbers. As an application, we derive an estimate for the number of partitions of a set with $n$ elements, which have the property that its blocks can be combined to form subsets of any size between $1$ and $n$.
On the some parameters related to matching of graph powers
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple connected graph. A matching of $G$ is a set of disjoint edges of $G$. For every $n, m\in\mathbb{N}$, the $n$-subdivision of $G$ is a simple graph $G^{\frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$ and the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. The $m^{th}$ power of the $n$-subdivision of $G$ has been introduced as a fractional power of $G$ and is denoted by $G^{\frac{m}{n}}$. In this paper, we study some parameters related to matching of the natural and the fractional powers of some specific graphs. Also we study these parameters for power of graphs that are importance of in Chemistry.