Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Phase Transitions of the Moran Process and Algorithmic Consequences
Published
• View Publication
• BIB
The Moran process is a random process that models the spread of genetic mutations through graphs. If the graph is connected, the process eventually reaches "fixation", where every vertex is a mutant, or "extinction", where no vertex is a mutant.
Our main result is an almost-tight bound on expected absorption time. For all epsilon > 0, we show that the expected absorption time on an n-vertex graph is o(n^(3+epsilon)). In fact, we show that it is at most n^3 * exp(O((log log n)^3)) and that there is a family of graphs where it is Omega(n^3). In the course of proving our main result, we also establish a phase transition in the probability of fixation, depending on the fitness parameter r of the mutation. We show that no similar phase transition occurs for digraphs, where it is already known that the expected absorption time can also be exponential. Finally, we give an improved FPRAS for approximating the probability of fixation. Its running time is independent of the size of the graph when the maximum degree is bounded and some basic properties of the graph are given.
Three-colour bipartite Ramsey number for graphs with small bandwidth
Published
• View Publication
• BIB
We estimate the $3$-colour bipartite Ramsey number for balanced bipartite graphs $H$ with small bandwidth and bounded maximum degree. More precisely, we show that the minimum value of $N$ such that in any $3$-edge colouring of $K_{N,N}$ there is a monochromatic copy of $H$ is at most $\big(3/2+o(1)\big)|V(H)|$. In particular, we determine asymptotically the $3$-colour bipartite Ramsey number for balanced grid graphs.
Additive quaternary codes related to exceptional linear quaternary codes
Published
• View Publication
• BIB
We study additive quaternary codes whose parameters are close to those of the extended cyclic [12; 6; 6]4-code or to the quaternary linear codes generated by the elliptic quadric in PG(3; 4) or its dual. In particular we characterize those codes in the category of additive codes and construct some additive codes whose parameters are better than those of any linear quaternary code.
New Perspectives on Neighborhood-Prime Labelings of Graphs
Neighborhood-prime labeling is a variation of prime labeling. A labeling $f:V(G) \to [|V(G)|]$ is a neighborhood-prime labeling if for each vertex $v\in V(G)$ with degree greater than $1$, the greatest common divisor of the set of labels in the neighborhood of $v$ is $1$. In this paper, we introduce techniques for finding neighborhood-prime labelings based on the Hamiltonicity of the graph, by using conditions on possible degrees of vertices, and by examining a neighborhood graph. In particular, classes of graphs shown to be neighborhood-prime include all generalized Petersen graphs, grid graphs of any size, and lobsters given restrictions on the degree of the vertices. In addition, we show that almost all graphs and almost all regular graphs have are neighborhood-prime, and we find all graphs of order $10$ or less that have a neighborhood-prime labeling. We give several conjectures for future work in this area.
On the discretized sum-product problem
Published in IMRN Volume 2021, Issue 13: 9769 - 9785
• View Publication
• BIB
We give a new proof of the discretized ring theorem for sets of real numbers. As a special case, we show that if $A\subset\mathbb{R}$ is a $(δ,1/2)_1$-set in the sense of Katz and Tao, then either $A+A$ or $A.A$ must have measure at least $|A|^{1-\frac{1}{68}}$
Complexity of the CNF-satisfiability problem
This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the CNF-satisfiability problem can be solved by a deterministic Turing machine in polynomial time.
The Geometry of some Fibonacci Identities in the Hosoya Triangle
The \emph{Hosoya triangle} is a triangular array where every entry is a product of two Fibonacci numbers. We use the geometry of this triangle to find new identities related to Fibonacci numbers. We give geometric interpretation for some well-known identities of Fibonacci numbers. For instance, the Cassini identity and the Catalan identity. We also extend some identities that hold in the Pascal triangle to the Hosoya triangle. For instance, the hockey stick extends from binomials to products of Fibonacci numbers and the rhombus property extends a binomial identity from the Pascal triangle to an identity of products of Fibonacci numbers in the Hosoya triangle.
Metacirculants and split weak metacirculants
Metacirculants are a rich resource of many families of interesting graphs, and weak metacirculants are generalizations of them. A graph is called a {\em split weak metacirculant} if it has a vertex-transitive split metacyclic automorphism group. In two recent papers, it is shown that a graph of prime power order is a metacirculant if and only if it is a split weak metacirculant. Let $m$ is a positive integer. In this paper, we first give a sufficient condition for the existence of split weak metacirculants of order $m$ which are not metacirculants. This is then used to give a sufficient and necessary condition for the existence of split weak metacirculants of order $n$ which are not metacirculants, where $n$ is a product of two prime-powers. As byproducts, we construct infinitely many split weak metacirculant graphs which are not metacirculant graphs, and answer an open question reported in the literature.
Pretty good quantum state transfer in asymmetric graphs via potential
Published
• View Publication
• BIB
We construct infinite families of graphs in which pretty good state transfer can be induced by adding a potential to the nodes of the graph (i.e. adding a number to a diagonal entry of the adjacency matrix). Indeed, we show that given any graph with a pair of cospectral nodes, a simple modification of the graph, along with a suitable potential, yields pretty good state transfer (i.e. asymptotically perfect state transfer) between the nodes. This generalizes previous work, concerning graphs with an involution, to asymmetric graphs.
Multi-dimensional $q$-summations and multi-colored partitions
Published
• View Publication
• BIB
Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.
On large primitive subsets of $\{1,2,\ldots,2n\}$
A subset of $\{1,2,\ldots,2n\}$ is said to be primitive if it does not contain any pair of elements $(u,v)$ such that $u$ is a divisor of $v$. Let $D(n)$ denote the number of primitive subsets of $\{1,2,\ldots,2n\}$ with $n$ elements. Numerical evidence suggests that $D(n)$ is roughly $(1.32)^n$. We show that for sufficiently large $n$, $$(1.303...)^n < D(n) < (1.408...)^n$$
A noncommutative cycle index and new bases of quasi-symmetric functions and noncommutative symmetric functions
Published
• View Publication
• BIB
We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutative symmetric functions with the quotient of FQSym induced by the pattern-replacement relation $321 \equiv 231$ and $312 \equiv 132$.
On random shifted standard Young tableaux and 132-avoiding sorting networks
Published
• View Publication
• BIB
We study shifted standard Young tableaux (SYT). The limiting surface of uniformly random shifted SYT of staircase shape is determined, with the integers in the SYT as heights. This implies via properties of the Edelman-Greene bijection results about random 132-avoiding sorting networks, including limit shapes for trajectories and intermediate permutations. Moreover, the expected number of adjacencies in SYT is considered. It is shown that on average each row and each column of a shifted SYT of staircase shape contains precisely one adjacency.
The polytopal structure of the tight-span of a totally split-decomposable metric
Published
• View Publication
• BIB
The tight-span of a finite metric space is a polytopal complex that has appeared in several areas of mathematics. In this paper we determine the polytopal structure of the tight-span of a totally split decomposable (finite) metric. Totally split-decomposable metrics are a generalization of tree-metrics and have importance within phylogenetics. In previous work, we showed that the cells of the tight-span of such a metric are zonotopes that are polytope isomorphic to either hypercubes or rhombic dodecahedra. Here, we extend these results and show that the tight-spanof a totally split-decomposable metric can be broken up into a canonical collection of polytopal complexes whose polytopal structures can be directly determined from the metric. This allows us to also completely determine the polytopal structure of the tight-span of a totally split-decomposable metric in a very direct way.We anticipate that our improved understanding of this structure may ultimately lead to improved techniques for phylogenetic inference.
Phylogenetic networks that are their own fold-ups
Published
• View Publication
• BIB
Phylogenetic networks are becoming of increasing interest to evolutionary biologists due to their ability to capture complex non-treelike evolutionary processes. From a combinatorial point of view, such networks are certain types of rooted directed acyclic graphs whose leaves are labelled by, for example, species. A number of mathematically interesting classes of phylogenetic networks are known. These include the biologically relevant class of stable phylogenetic networks whose members are defined via certain "fold-up" and "un-fold" operations that link them with concepts arising within the theory of, for example, graph fibrations. Despite this exciting link, the structural complexity of stable phylogenetic networks is still relatively poorly understood. Employing the popular tree-based, reticulation-visible, and tree-child properties which allow one to gauge this complexity in one way or another, we provide novel characterizations for when a stable phylogenetic network satisfies either one of these three properties.
Poly-Bernoulli Numbers and Eulerian Numbers
Published in Journal of Integer Sequences (2018)
• Search Publication
In this note we prove combinatorially some new formulas connecting poly-Bernoulli numbers with negative indices to Eulerian numbers.
Profinite separation systems
Published
• View Publication
• BIB
Separation systems are posets with additional structure that form an abstract setting in which tangle-like clusters in graphs, matroids and other combinatorial structures can be expressed and studied.
This paper offers some basic theory about infinite separation systems and how they relate to the finite separation systems they induce. They can be used to prove tangle-type duality theorems for infinite graphs and matroids, which will be done in future work that will build on this paper.
On fixable families of Boolean networks
Published
• View Publication
• BIB
The asynchronous dynamics associated with a Boolean network $f : \{0,1\}^n \to \{0,1\}^n$ is a finite deterministic automaton considered in many applications. The set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. This action is extended to words in the natural way. We then say that a word $w$ {\em fixes} $f$ if, for all states $x$, the result of the action of $w$ on $x$ is a fixed point of $f$. A whole family of networks is fixable if its members are all fixed by the same word, and the fixing length of the family is the minimum length of such a word. In this paper, we are interested in families of Boolean networks with relatively small fixing lengths. Firstly, we prove that fixing length of the family of networks with acyclic asynchronous graphs is $Θ(n 2^n)$. Secondly, it is known that the fixing length of the whole family of monotone networks is $O(n^3)$. We then exhibit two families of monotone networks with fixing length $Θ(n)$ and $Θ(n^2)$ respectively, namely monotone networks with tree interaction graphs and conjunctive networks with symmetric interaction graphs.
Paired many-to-many 2-disjoint path cover of balanced hypercubes with faulty edges
As a variant of the well-known hypercube, the balanced hypercube $BH_n$ was proposed as a novel interconnection network topology for parallel computing. It is known that $BH_n$ is bipartite. Assume that $S=\{s_1,s_2\}$ and $T=\{t_1,t_2\}$ are any two sets of two vertices in different partite sets of $BH_n$ ($n\geq1$). It has been proved that there exist two vertex-disjoint $s_1,t_1$-path and $s_2,t_2$-path of $BH_n$ covering all vertices of it. In this paper, we prove that there always exist two vertex-disjoint $s_1,t_1$-path and $s_2,t_2$-path covering all vertices of $BH_n$ with at most $2n-3$ faulty edges. The upper bound $2n-3$ of edge faults tolerated is optimal.
Laminations of a graph on a pair of pants
Published in Bull. London Math. Soc., 52(6), 1038-1052, 2020
• View Publication
• BIB
A lamination of a graph embedded on a surface is a collection of pairwise disjoint non-contractible simple closed curves drawn on the graph. In the case when the surface is a sphere with three punctures (a.k.a. a pair of pants), we first identify the lamination space of a graph embedded on that surface as a lattice polytope, then we characterize the polytopes that arise as the lamination space of some graph on a pair of pants. This characterizes the image of a purely topological version of the spectral map for the vector bundle Laplacian for a flat connection on a pair of pants. The proof uses a graph exploration technique akin to the peeling of planar maps.