Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The probabilities of trees and cladograms under Ford's $α$-model
Published in The Scientific World Journal Vol. 2018, Article ID 1916094, 7 pages
• View Publication
• BIB
We give correct explicit formulas for the probabilities of rooted binary trees and cladograms under Ford's $α$-model.
Symmetric road interchanges
A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange.
In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.
Hopf algebras on decorated noncrossing arc diagrams
Published in J. Combin. Theory Ser. A, 161:486-507, 2019
• View Publication
• BIB
Noncrossing arc diagrams are combinatorial models for the equivalence classes of the lattice congruences of the weak order on permutations. In this paper, we provide a general method to endow these objects with Hopf algebra structures. Specific instances of this method produce relevant Hopf algebras that appeared earlier in the literature.
Paths to Understanding Birational Rowmotion on Products of Two Chains
Published
• View Publication
• BIB
Birational rowmotion is an action on the space of assignments of rational functions to the elements of a finite partially-ordered set (poset). It is lifted from the well-studied rowmotion map on order ideals (equivariantly on antichains) of a poset $P$, which when iterated on special posets, has unexpectedly nice properties in terms of periodicity, cyclic sieving, and homomesy (statistics whose averages over each orbit are constant) [AST11, BW74, CF95, Pan09, PR13, RuSh12,RuWa15+,SW12, ThWi17, Yil17. In this context, rowmotion appears to be related to Auslander-Reiten translation on certain quivers, and birational rowmotion to $Y$-systems of type $A_m \times A_n$ described in Zamolodchikov periodicity.
We give a formula in terms of families of non-intersecting lattice paths for iterated actions of the birational rowmotion map on a product of two chains. This allows us to give a much simpler direct proof of the key fact that the period of this map on a product of chains of lengths $r$ and $s$ is $r+s+2$ (first proved by D.~Grinberg and the second author), as well as the first proof of the birational analogue of homomesy along files for such posets.
Zeroth-order general Randic index of $k$-generalized quasi trees
For a simple graph $G(V,E)$, the zeroth-order general Randi\' c index is defined as $^0R_α(G)=\sum_{v\in V(G)}d(v)^α$, where $d(v)$ is the degree of the vertex $v$ and $α\ne0$ is a real number. The $k$-generalized quasi-tree is a connected graph $G$ with a subset $V_k\subset V(G)$, where $|V_k|=k$ such that $G-V_k$ is a tree, but for any subset $V_{k-1}\subset V(G)$ with cardinality $k-1$, $G-V_{k-1}$ is not a tree. In this paper, we characterize the extremal $k$-generalized quasi trees with the minimum and maximum values of the zeroth-order general Randi\' c index for $α\neq 0$.
Genetic robustness of let-7 miRNA sequence-structure pairs
Published
• View Publication
• BIB
Genetic robustness, the preservation of evolved phenotypes against genotypic mutations, is one of the central concepts in evolution. In recent years a large body of work has focused on the origins, mechanisms, and consequences of robustness in a wide range of biological systems. In particular, research on ncRNAs studied the ability of sequences to maintain folded structures against single-point mutations. In these studies, the structure is merely a reference. However, recent work revealed evidence that structure itself contributes to the genetic robustness of ncRNAs. We follow this line of thought and consider sequence-structure pairs as the unit of evolution and introduce the spectrum of inverse folding rates (IFR-spectrum) as a measurement of genetic robustness. Our analysis of the miRNA let-7 family captures key features of structure-modulated evolution and facilitates the study of robustness against multiple-point mutations.
Extremal $G$-free induced subgraphs of Kneser graphs
Published
• View Publication
• BIB
The Kneser graph ${\rm KG}_{n,k}$ is a graph whose vertex set is the family of all $k$-subsets of $[n]$ and two vertices are adjacent if their corresponding subsets are disjoint. The classical Erdős-Ko-Rado theorem determines the cardinality and structure of a maximum induced $K_2$-free subgraph in ${\rm KG}_{n,k}$. As a generalization of the Erdős-Ko-Rado theorem, Erdős proposed a conjecture about the maximum order of an induced $K_{s+1}$-free subgraph of ${\rm KG}_{n,k}$. As the best known result concerning this conjecture, Frankl [Journal of Combinatorial Theory, Series A, 2013], when $n\geq(2s+1)k-s$, gave an affirmative answer to this conjecture and also determined the structure of such a subgraph. In this paper, generalizing the Erdős-Ko-Rado theorem and the Erd{\H o}s matching conjecture, we consider the problem of determining the structure of a maximum family $\mathcal{A}$ for which ${\rm KG}_{n,k}[\mathcal{A}]$ has no subgraph isomorphic to a given graph $G$. In this regard, we determine the size and the structure of such a family provided that $n$ is sufficiently large with respect to $G$ and $k$. Furthermore, for the case $G=K_{1,t}$, we present a Hilton-Milner type theorem regarding above-mentioned problem, which specializes to an improvement of a result by Gerbner et al. [SIAM Journal on Discrete Mathematics, 2012].
On the roots of Wiener polynomials of graphs
Published
• View Publication
• BIB
The Wiener polynomial of a connected graph $G$ is defined as $W(G;x)=\sum x^{d(u,v)}$, where $d(u,v)$ denotes the distance between $u$ and $v$, and the sum is taken over all unordered pairs of distinct vertices of $G$. We examine the nature and location of the roots of Wiener polynomials of graphs, and in particular trees. We show that while the maximum modulus among all roots of Wiener polynomials of graphs of order $n$ is $\binom{n}{2}-1$, the maximum modulus among all roots of Wiener polynomials of trees of order $n$ grows linearly in $n$. We prove that the closure of the collection of real roots of Wiener polynomials of all graphs is precisely $(-\infty, 0]$, while in the case of trees, it contains $(-\infty, -1]$. Finally, we demonstrate that the imaginary parts and (positive) real parts of roots of Wiener polynomials can be arbitrarily large.
Convergence of Pascal-Like Triangles in Parry-Bertrand Numeration Systems
Published
• View Publication
• BIB
We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.
Side Disks of a Spherical Great Polygon
Published in Forum Geometricorum (2018), 18: 195-201
• Search Publication
Take a circle and mark $n\in\mathbb{N}$ points on it designated as vertices. For any arc segment between two consecutive vertices which does not pass through any other vertex, there is a disk centered at its midpoint and has its end points on the boundary. We analyze intersection behaviour of these disks and show that the number of disjoint pairs among them is between $\frac{(n-2)(n-3)}{2}$ and $\frac{n(n-3)}{2}$ and their intersection graph is a subgraph of a triangulation of a convex $n$-gon.
Characterizing subclasses of cover-incomparability graphs by forbidden subposets
Published
• View Publication
• BIB
In this paper we continue investigations of cover-incomparability graphs of finite partially ordered sets (see \cite{Bres,Bres2,Bres3,Bres4} and \cite{Max,MaxDH}). We consider in some detail the distinction between cover-preserving subsets and isometric subsets of a partially ordered set. This is critical to understanding why forbidden subposet characterizations of certain classes of cover-incomparability graphs in \cite{Bres} and \cite{Bres3} are not valid as presented. Here we provide examples, investigate the root of the difficulties, and formulate and prove valid revisions of these characterizations.
On the determinants and permanents of matrices with restricted entries over prime fields
Published in Pacific J. Math. 300 (2019) 405-417
• View Publication
• BIB
Let $A$ be a set in a prime field $\mathbb{F}_p$. In this paper, we prove that $d\times d$ matrices with entries in $A$ determine almost $|A|^{3+\frac{1}{45}}$ distinct determinants and almost $|A|^{2-\frac{1}{6}}$ distinct permanents when $|A|$ is small enough.
Oddities of quantum colorings
Published in Baltic Journal on Modern Computing, 4(4), 846--859, 2016
• Search Publication
We study quantum analogs of graph colorings and chromatic number. Initially defined via an interactive protocol, quantum colorings can also be viewed as a natural operator relaxation of graph coloring. Since there is no known algorithm for producing nontrivial quantum colorings, the existing examples rely on ad hoc constructions. Almost all of the known constructions of quantum $d$-colorings start from $d$-dimensional orthogonal representations. We show the limitations of this method by exhibiting, for the first time, a graph with a 3-dimensional orthogonal representation which cannot be quantum 3-colored, and a graph that can be quantum 3-colored but has no 3-dimensional orthogonal representation. Together these examples show that the quantum chromatic number and orthogonal rank are not directly comparable as graph parameters. The former graph also provides an example of several interesting, and previously unknown, properties of quantum colorings. The most striking of these is that adding a new vertex adjacent to all other vertices does not necessarily increase the quantum chromatic number of a graph. This is in stark contrast to the chromatic number and many of its variants. This graph also provides the smallest known example (14 vertices) exhibiting a separation between chromatic number and its quantum analog.
The Structure of the Three-Dimensional Special Linear Group over a Local Field
For K a local field, it is shown that SL3(K) acts on a simply connected two dimensional simplicial complex in which a single face serves as a fundamental domain. From this it follows that SL3(K) is the generalized amalgamated product of three subgroups. Specifically if K is the field of fractions of the discrete valuation ring O, then SL3(K) is the amalgamation of three subgroups isomorphic to SL3(O) along pairwise intersections. This generalizes a theorem of Ihara, which gives the structure of SL2(K) as the amalgamated product of two groups in analogous fashion.
Restricted sum formula for finite and symmetric multiple zeta values
Published in Pacific J. Math. 303 (2019) 325-335
• View Publication
• BIB
The sum formula for finite and symmetric multiple zeta values, established by Wakabayashi and the authors, implies that if the weight and depth are fixed and the specified component is required to be more than one, then the values sum up to a rational multiple of the analogue of the Riemann zeta value. We prove that the result remains true if we further demand that the component should be more than two or that another component should also be more than one.
Spectral Radius of $\{0, 1\}$-Tensor with Prescribed Number of Ones
Published
• View Publication
• BIB
For any $r$-order $\{0, 1\}$-tensor $A$ with $e$ ones, we prove that the spectral radius of $A$ is at most $e^{\frac{r-1}{r}}$ with the equality holds if and only if $e={k^r}$ for some integer $k$ and all ones forms a principal sub-tensor ${\bf 1}_{k\times \cdots \times k}$. We also prove a stability result for general tensor $A$ with $e$ ones where $e=k^r+l$ with relatively small $l$. Using the stability result, we completely characterized the tensors achieving the maximum spectral radius among all $r$-order $\{0, 1\}$-tensor $A$ with $k^r+l$ ones, for $-r-1\leq l \leq r$, and $k$ sufficiently large.
What did Ryser Conjecture?
Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.
The set of vertices with positive curvature in a planar graph with nonnegative curvature
Published
• View Publication
• BIB
In this paper, we give the sharp upper bound for the number of vertices with positive curvature in a planar graph with nonnegative combinatorial curvature. Based on this, we show that the automorphism group of a planar---possibly infinite---graph with nonnegative combinatorial curvature and positive total curvature is a finite group, and give an upper bound estimate for the order of the group.
Ascents in Non-Negative Lattice Paths
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
Non-negative Łukasiewicz paths are special two-dimensional lattice paths never passing below their starting altitude which have only one single special type of down step. They are well-known and -studied combinatorial objects, in particular due to their bijective relation to trees with given node degrees.
We study the asymptotic behavior of the number of ascents (i.e., the number of maximal sequences of consecutive up steps) of given length for classical subfamilies of general non-negative Łukasiewicz paths: those with arbitrary ending altitude, those ending on their starting altitude, and a variation thereof. Our results include precise asymptotic expansions for the expected number of such ascents as well as for the corresponding variance.
Deconvolving RNA Base Pairing Signals
Published
• View Publication
• BIB
A growing number of RNA sequences are now known to have distributions of multiple stable sequences. Recent algorithms use the list of nucleotides in a sequence and auxiliary experimental data to predict such distributions. Although the algorithms are largely successful in identifying a distribution's constituent structures, it remains challenging to recover their relative weightings. In this paper, we quantify this issue using a total variation distance. Then, we prove under a Nussinov-Jacobson model that a large proportion of RNA structure pairs cannot be jointly reconstructed with low total variation distance. Finally, we characterize the uncertainty in predicting conformational ratios by analyzing the amount of information in the auxiliary data.