Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Ancestral sequence reconstruction with Maximum Parsimony
Published
• View Publication
• BIB
One of the main aims in phylogenetics is the estimation of ancestral sequences based on present-day data like, for instance, DNA alignments. One way to estimate the data of the last common ancestor of a given set of species is to first reconstruct a phylogenetic tree with some tree inference method and then to use some method of ancestral state inference based on that tree. One of the best-known methods both for tree inference as well as for ancestral sequence inference is Maximum Parsimony (MP). In this manuscript, we focus on this method and on ancestral state inference for fully bifurcating trees. In particular, we investigate a conjecture published by Charleston and Steel in 1995 concerning the number of species which need to have a particular state, say $a$, at a particular site in order for MP to unambiguously return $a$ as an estimate for the state of the last common ancestor. We prove the conjecture for all even numbers of character states, which is the most relevant case in biology. We also show that the conjecture does not hold in general for odd numbers of character states, but also present some positive results for this case.
Colorings with Fractional Defect
Consider a coloring of a graph such that each vertex is assigned a fraction of each color, with the total amount of colors at each vertex summing to $1$. We define the fractional defect of a vertex $v$ to be the sum of the overlaps with each neighbor of $v$, and the fractional defect of the graph to be the maximum of the defects over all vertices. Note that this coincides with the usual definition of defect if every vertex is monochromatic. We provide results on the minimum fractional defect of $2$-colorings of some graphs.
Minimum edge cuts of distance-regular and strongly regular digraphs
Published
• View Publication
• BIB
In this paper, we show that the edge connectivity of a distance-regular digraph $Γ$ with valency $k$ is $k$ and for $k>2$, any minimum edge cut of $Γ$ is the set of all edges going into (or coming out of) a single vertex. Moreover we show that the same result holds for strongly regular digraphs. These results extend the same known results for undirected case with quite different proofs.
Some Formulas for Numbers of Restricted Words
We define a quantity $c_m(n,k)$ as a generalization of the notion of the composition of the positive integer $n$ into $k$ parts. We proceed to derive some known properties of this quantity. In particular, we relate two partial Bell polynomials, in which the sequence of the variables of one polynomial is the invert transform of the sequence of the variables of the other. We connect the quantities $c_m(n,k)$ and $c_{m-1}(n,k)$ via Pascal matrices. We then relate $c_m(n,k)$ with the numbers of some restricted words over a finite alphabet. We develop a method which transfers some properties of restricted words over an alphabet of $N$ letters to the restricted words over an alphabet of $N+1$ letters. Several examples illustrate our findings. Note that all our results depend solely on the initial arithmetic function $f_0$.
A Search for Spreads of Hermitian Unitals
A spread of a Hermitian unital in PG(2,q^2) is a set of q^2+q+1 pairwise disjoint blocks that partition the points of the unital. In this paper, we discuss the results of an exhaustive computer search for spreads of Hermitian unitals of small orders, namely the Hermitian unitals in PG(2,16), PG(2,25) and PG(2,49).
On a question of Erdos and Faudree on the size Ramsey numbers
Published
• View Publication
• BIB
For given simple graphs $G_1$ and $G_2$, the size Ramsey number $\hat{R}(G_1,G_2)$ is the smallest positive integer $m$, where there exists a graph $G$ with $m$ edges such that in any edge coloring of $G$ with two colors red and blue, there is either a red copy of $G_1$ or a blue copy of $G_2$. In 1981, Erdős and Faudree investigated the size Ramsey number $\hat{R}(K_n,tK_2)$, where $K_n$ is a complete graph on $n$ vertices and $tK_2$ is a matching of size $t$. They obtained the value of $\hat{R}(K_n,tK_2)$ when $n\geq 4t-1$ as well as for $t=2$ and asked for the behavior of these numbers when $ t $ is much larger than $ n $. In this regard, they posed the following interesting question: For every positive integer $n$, is it true that $$\lim_{t\to \infty} \frac{\hat{R}(K_n,tK_2)} {t\, \hat{R}(K_n,K_2)} = \min\left\{\dfrac{\binom{n+2t-2}{2}} {t\binom{n}{2}}\mid t\in \mathbb{N}\right\} ? $$ In this paper, we obtain the exact value of $ \hat{R}(K_n,tK_2) $ for every positive integers $ n,t $ and as a byproduct, we give an affirmative answer to the question of Erdős and Faudree.
Appoximate Cohomology
Published
• View Publication
• BIB
Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the minimal $R$ such that for any map $A:G \to End_k(L)$ with $r(A(g'+g'')-A(g')-A(g''))\leq r$, $g',g''\in G$ there exists a homomorphism $χ:G\to End_k(L)$ such that $r(A(g)-χ(g))\leq R(G, r, k)$ for all $g\in G$. We show the finiteness of $R(G,r,k)$ for the case when $k$ is a finite field, $G=V$ is a $k$-vector space $V$ of countable dimension. We actually prove a generalization of this result. In addition we introduce a notion of {\it Approximate Cohomology} groups $H^k_{\mathcal F} (V,M)$ (which is a purely algebraic analogue of the notion of $ε$-representation (\cite{ep})) and interperate our result as a computation of the group $H^1_{\mathcal F} (V,M)$ for some $V$-modules $M$.
A short note on the order of the Zhang-Liu matrices over arbitrary fields
We give necessary and sufficient conditions for the Zhang-Liu matrices to be diagonalizable over arbitrary fields and provide the eigen-decomposition when it is possible. We use this result to calculate the order of these matrices over any arbitrary field. This generalizes a result of the second author.
Bounds for Matchings in Nonabelian Groups
Published
• View Publication
• BIB
We give upper bounds for triples of subsets of a finite group such that the triples of elements that multiply to 1 form a perfect matching. Our bounds are the first to give exponential savings in powers of an arbitrary finite group. Previously, Blasiak-Church-Cohn-Grochow-Naslund-Sawin-Umans gave similar bounds in abelian groups of bounded exponent, and Petrov gave exponential bounds in certain p-groups.
A bound on partitioning clusters
Published
• View Publication
• BIB
Let $X$ be a finite collection of sets (or "clusters"). We consider the problem of counting the number of ways a cluster $A \in X$ can be partitioned into two disjoint clusters $A_1, A_2 \in X$, thus $A = A_1 \uplus A_2$ is the disjoint union of $A_1$ and $A_2$; this problem arises in the run time analysis of the ASTRAL algorithm in phylogenetic reconstruction. We obtain the bound $$ | \{ (A_1,A_2,A) \in X \times X \times X: A = A_1 \uplus A_2 \} | \leq |X|^{3/p} $$ where $|X|$ denotes the cardinality of $X$, and $p := \log_3 \frac{27}{4} = 1.73814\dots$, so that $\frac{3}{p} = 1.72598\dots$. Furthermore, the exponent $p$ cannot be replaced by any larger quantity. This improves upon the trivial bound of $|X|^2$. The argument relies on establishing a one-dimensional convolution inequality that can be established by elementary calculus combined with some numerical verification.
In a similar vein, we show that for any subset $A$ of a discrete cube $\{0,1\}^n$, the additive energy of $A$ (the number of quadruples $(a_1,a_2,a_3,a_4)$ in $A^4$ with $a_1+a_2=a_3+a_4$) is at most $|A|^{\log_2 6}$, and that this exponent is best possible.
Improvement on Brook theorem for 2K2-free Graphs
Here we prove that for a 2K2-free graph G with maximum degree greater than or equal to 5, the chromatic number is less than or equal to max{maximum degree-1, maximum clique size}. This implies that Borodin & Kostochka Conjecture is true for 2K2-free graphs.
Liouville theorem for bounded harmonic functions on manifolds and graphs satisfying non-negative curvature dimension condition
Published
• View Publication
• BIB
Brighton [Bri13] proved the Liouville theorem for bounded harmonic functions on weighted manifolds satisfying non-negative curvature dimension condition, i.e. $CD(0,\infty).$ In this paper, we provide a new proof of this result by using the reverse Poincaré inequality. Moreover, we adopt this approach to prove the Liouville theorem for bounded harmonic functions on graphs satisfying the $CD(0,\infty)$ condition.
A counterexample to Montgomery's conjecture on dynamic colourings of regular graphs
Published
• View Publication
• BIB
A \emph{dynamic colouring} of a graph is a proper colouring in which no neighbourhood of a non-leaf vertex is monochromatic. The \emph{dynamic colouring number} $χ_2(G)$ of a graph $G$ is the least number of colours needed for a dynamic colouring of $G$.
Montgomery conjectured that $χ_2(G) \leq χ(G) + 2$ for all regular graphs $G$, which would significantly improve the best current upper bound $χ_2(G) \leq 2χ(G)$. In this note, however, we show that this last upper bound is sharp by constructing, for every integer $n \geq 2$, a regular graph $G$ with $χ(G) = n$ but $χ_2(G) = 2n$. In particular, this disproves Montgomery's conjecture.
Tropical compound matrix identities
Published in Linear Algebra and its Applications, 551:162--206, 2018
• View Publication
• BIB
We prove identities on compound matrices in extended tropical semirings. Such identities include analogues to properties of conjugate matrices, powers of matrices and~$\adj(A)\det(A)^{ -1}$, all of which have implications on the eigenvalues of the corresponding matrices. A tropical Sylvester-Franke identity is provided as well.
New results on sum-product type growth over fields
Published in Mathematika 65 (2019) 588-642
• View Publication
• BIB
We prove a range of new sum-product type growth estimates over a general field $\mathbb{F}$, in particular the special case $\mathbb{F}=\mathbb{F}_p$. They are unified by the theme of "breaking the $3/2$ threshold", epitomising the previous state of the art. These estimates stem from specially suited applications of incidence bounds over $\mathbb{F}$, which apply to higher moments of representation functions.
We establish the estimate $|R[A]| \gtrsim |A|^{8/5}$ for cardinality of the set $R[A]$ of distinct cross-ratios defined by triples of elements of a (sufficiently small if $\mathbb{F}$ has positive characteristic, similarly for the rest of the estimates) set $A\subset \mathbb{F}$, pinned at infinity. The cross-ratio naturally arises in various sum-product type questions of projective nature and is the unifying concept underlying most of our results. It enables one to take advantage of its symmetry properties as an onset of growth of, for instance, products of difference sets. The geometric nature of the cross-ratio enables us to break the version of the above threshold for the minimum number of distinct triangle areas $Ouu'$, defined by points $u,u'$ of a non-collinear point set $P\subset \mathbb{F}^2$.
Another instance of breaking the threshold is showing that if $A$ is sufficiently small and has additive doubling constant $M$, then $|AA|\gtrsim M^{-2}|A|^{14/9}$. This result has a second moment version, which allows for new upper bounds for the number of collinear point triples in the set $A\times A\subset \mathbb{F}^2$, the quantity often arising in applications of geometric incidence estimates.
Relationships Between Characteristic Path Length, Efficiency, Clustering Coefficients, and Graph Density
Published
• View Publication
• BIB
The graph theoretic properties of the clustering coefficient, characteristic (or average) path length, global and local efficiency, provide valuable information regarding the structure of a graph. These four properties have applications to biological and social networks and have dominated much of the the literature in these fields. While much work has done in applied settings, there has yet to be a mathematical comparison of these metrics from a theoretical standpoint. Motivated by networks appearing in neuroscience, we show in this paper that these properties can be linked together using a single property - graph density.
On repetition thresholds of caterpillars and trees of bounded degree
Published in Electron J. Combin. 25 (2018), #P1.61
• Search Publication
The repetition threshold is the smallest real number $α$ such that there exists an infinite word over a $k$-letter alphabet that avoids repetition of exponent strictly greater than $α$. This notion can be generalized to graph classes. In this paper, we completely determine the repetition thresholds for caterpillars and caterpillars of maximum degree $3$. Additionally, we present bounds for the repetition thresholds of trees with bounded maximum degrees.
Induced subgraphs of graphs with large chromatic number. IX. Rainbow paths
Published
• View Publication
• BIB
We prove that for all nonnegative integers k,s there exists c with the following property. Let G be a graph with clique number at most k and chromatic number more than c. Then for every vertex-colouring (not necessarily optimal) of G, some induced subgraph of G is an s-vertex path, and all its vertices have different colours. This extends a recent result of Gyarfas and Sarkozy, who proved the same (when k=2) for graphs G with girth at least five.
On k-caps in PG(n, q), with q even and n \geq 3
Published
• View Publication
• BIB
Let m_2(n, q) be the maximum size of k for which there exists a k-cap in PG(n, q), and let m'_2(n, q) be the second largest value of k for which there exists a complete k-cap in PG(n, q). In this paper Chao's upper bound q^2 - q + 5 for m'_2(3, q), q even and q \geq 8, will be improved. As a corollary new bounds for m_2(n, q), q even, q\geq 8 and n \geq 4, are obtained. Cao and Ou published a better bound but there seems to be a gap in their proof.
Minimal polygons with fixed lattice width
Published
• View Publication
• BIB
We classify the unimodular equivalence classes of inclusion-minimal polygons with a certain fixed lattice width. As a corollary, we find a sharp upper bound on the number of lattice points of these minimal polygons.