Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Central limit theorem for the Horton-Strahler bifurcation ratio of general branch order
Published in Journal of Applied Probability 54, 1111-1124 (2017)
• View Publication
• BIB
The Horton-Strahler ordering method, originating in hydrology, formulates the hierarchical structure of branching patterns using a quantity called the bifurcation ratio. The main result of this paper is the central limit theorem for bifurcation ratio of general branch order. This is a generalized form of the central limit theorem for the lowest bifurcation ratio, which was previously proved. Some useful relations are also derived in the proofs of the main theorems.
Fault-free Hamiltonian cycles in balanced hypercube with conditional edge faults
Published
• View Publication
• BIB
The balanced hypercube, $BH_n$, is a variant of hypercube $Q_n$. Zhou et al. [Inform. Sci. 300 (2015) 20-27] proposed an interesting problem that whether there is a fault-free Hamiltonian cycle in $BH_n$ with each vertex incident to at least two fault-free edges. In this paper, we consider this problem and show that each fault-free edge lies on a fault-free Hamiltonian cycle in $BH_n$ after no more than $4n-5$ faulty edges occur if each vertex is incident with at least two fault-free edges for all $n\ge 2$. Our result is optimal with respect to the maximum number of tolerated edge faults.
On the representation of finite convex geometries with convex sets
Published
• View Publication
• BIB
Very recently Richter and Rogers proved that any convex geometry can be represented by a family of convex polygons in the plane. We shall generalize their construction and obtain a wide variety of convex shapes for representing convex geometries. We present an Erdos-Szekeres type obstruction, which answers a question of Czedli negatively, that is general convex geometries cannot be represented with ellipses in the plane. Moreover, we shall prove that one cannot even bound the number of common supporting lines of the pairs of the representing convex sets. In higher dimensions we prove that all convex geometries can be represented with ellipsoids.
Rules for Folding Polyminoes from One Level to Two Levels
Published
• View Publication
• BIB
Polyominoes have been the focus of many recreational and research investigations. In this article, the authors investigate whether a paper cutout of a polyomino can be folded to produce a second polyomino in the same shape as the original, but now with two layers of paper. For the folding, only "corner folds" and "half edge cuts" are allowed, unless the polyomino forms a closed loop, in which case one is allowed to completely cut two squares in the polyomino apart. With this set of allowable moves, the authors present algorithms for folding different types of polyominoes and prove that certain polyominoes can successfully be folded to two layers. The authors also establish that other polyominoes cannot be folded to two layers if only these moves are allowed.
Additive bases and flows in graphs
Published in SIAM Journal on Discrete Mathematics 32(1) (2018), 534-542
• View Publication
• BIB
It was conjectured by Jaeger, Linial, Payan, and Tarsi in 1992 that for any prime number $p$, there is a constant $c$ such that for any $n$, the union (with repetition) of the vectors of any family of $c$ linear bases of $\mathbb{Z}_p^n$ forms an additive basis of $\mathbb{Z}_p^n$ (i.e. any element of $\mathbb{Z}_p^n$ can be expressed as the sum of a subset of these vectors). In this note, we prove this conjecture when each vector contains at most two non-zero entries. As an application, we prove several results on flows in highly edge-connected graphs, extending known results. For instance, assume that $p\ge 3$ is a prime number and $\vec{G}$ is a directed, highly edge-connected graph in which each arc is given a list of two distinct values in $\mathbb{Z}_p$. Then $\vec{G}$ has a $\mathbb{Z}_p$-flow in which each arc is assigned a value of its own list.
Equivariant Euler characteristics of subspace posets
We compute the (primary) equivariant Euler characteristics of the building for the general linear group over a finite field.
Discretization of continuous-time quantum walks via the staggered model with Hamiltonians
Published
• View Publication
• BIB
We characterize a close connection between the continuous-time quantum-walk model and a discrete-time quantum-walk version, based on the staggered model with Hamiltonians in a class of Cayley graphs, which can be considered as a discretization of continuous-time quantum walks. This connection provides examples of perfect state transfer and instantaneous uniform mixing in the staggered model. On the other hand, we provide some more examples of perfect state transfer and instantaneous uniform mixing in the staggered model that cannot be reproduced by the continuous-time model.
Khovanskii bases of Cox-Nagata rings and tropical geometry
Published
• View Publication
• BIB
The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing the necessary background on Cox-Nagata rings and Khovanskii bases, we review the classification obtained by Sturmfels and Xu. Then we describe our classification problem in the degree 3 case and its connections to tropical geometry. In particular, we show that two natural candidates, $\operatorname{TGr}(3,\mathbb{Q}^6)$ and the Naruki fan, are insufficient to carry out the classification.
Counting Dominating Sets of Graphs
Published
• View Publication
• BIB
Counting dominating sets in a graph $G$ is closely related to the neighborhood complex of $G$. We exploit this relation to prove that the number of dominating sets $d(G)$ of a graph is determined by the number of complete bipartite subgraphs of its complement. More precisely, we state the following. Let $G$ be a simple graph of order $n$ such that its complement has exactly $a(G)$ subgraphs isomorphic to $K_{2p,2q}$ and exactly $b(G)$ subgraphs isomorphic to $K_{2p+1,2q+1}$. Then $d(G) = 2^n -1 + 2[a(G)-b(G)]$. We also show some new relations between the domination polynomial and the neighborhood polynomial of a graph.
Rich subcontexts
For a finite binary relation, we show a local operation which does not decrease its number of (Galois-)closed sets and eventually increases its (Vapnik-Chervonenkis)-dimension. Specifically, we show that there always exist a pair of elements, one belonging to each ground set, such that the subrelation not relating any of those elements has at least half of the Galois-closed sets. As a consequence, for each triple (n,m,k) there exists a binary relation with VC-dimension precisely k and maximum number of Galois-closed sets, such maximum being over all binary relations having ground sets with precisely n and m elements.
Springer fibers and Schubert points
Published in European Journal of Combinatorics 76 (2019), pp. 10-26
• View Publication
• BIB
Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.
Tetris Hypergraphs and Combinations of Impartial Games
The Sprague-Grundy (SG) theory reduces the sum of impartial games to the classical game of $NIM$. We generalize the concept of sum and introduce $\cH$-combinations of impartial games for any hypergraph $\cH$. In particular, we introduce the game $NIM_\cH$ which is the $\cH$-combination of single pile $NIM$ games. An impartial game is called SG decreasing if its SG value is decreased by every move. Extending the SG theory, we reduce the $\cH$-combination of SG decreasing games to $NIM_\cH$. We call $\cH$ a Tetris hypergraph if $NIM_\cH$ is SG decreasing. We provide some necessary and some sufficient conditions for a hypergraph to be Tetris.
Schur P-positivity and involution Stanley symmetric functions
Published in IMRN (2017), rnx274
• View Publication
• BIB
The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.
Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees
Choi et. al (2011) introduced a minimum spanning tree (MST)-based method called CLGrouping, for constructing tree-structured probabilistic graphical models, a statistical framework that is commonly used for inferring phylogenetic trees. While CLGrouping works correctly if there is a unique MST, we observe an indeterminacy in the method in the case that there are multiple MSTs. In this work we remove this indeterminacy by introducing so-called vertex-ranked MSTs. We note that the effectiveness of CLGrouping is inversely related to the number of leaves in the MST. This motivates the problem of finding a vertex-ranked MST with the minimum number of leaves (MLVRMST). We provide a polynomial time algorithm for the MLVRMST problem, and prove its correctness for graphs whose edges are weighted with tree-additive distances.
Predicting some physicochemical properties of octane isomers: A topological approach using ev-degree and ve-degree Zagreb indices
Published
• View Publication
• BIB
Topological indices have important role in theoretical chemistry for QSPR researches. Among the all topological indices the Randić and the Zagreb indices have been used more considerably than any other topological indices in chemical and mathematical literature. Most of the topological indices as in the Randić and the Zagreb indices are based on the degrees of the vertices of a connected graph. Recently novel two degree concepts have been defined in graph theory; ev-degrees and ve-degrees. In this study we define ev-degree Zagreb index, ve-degree Zagreb indices and ve-degree Randić index by using these new graph invariants as parallel to their corresponding classical degree versions. We compare these new group ev-degree and ve-degree indices with the other well-known and most used topological indices in literature such as; Wiener, Zagreb and Randić indices by modelling some physicochemical properties of octane isomers. We show that the ev-degree Zagreb index, the ve-degree Zagreb and the ve-degree Randić indices give better correlation than Wiener, Zagreb and Randić indices to predict the some specific physicochemical properties of octanes. We investigate the relations between the second Zagreb index and ev-degree and ve-degree Zagreb indices and some mathematical properties of ev-degree and ve-degree Zagreb indices. Keywords:
$k$-shellable simplicial complexes and graphs
Published
• View Publication
• BIB
In this paper we show that a $k$-shellable simplicial complex is the expansion of a shellable complex. We prove that the face ring of a pure $k$-shellable simplicial complex satisfies the Stanley conjecture. In this way, by applying expansion functor to the face ring of a given pure shellable complex, we construct a large class of rings satisfying the Stanley conjecture.
Also, by presenting some characterizations of $k$-shellable graphs, we extend some results due to Castrillón-Cruz, Cruz-Estrada and Van Tuyl-Villareal.
The g-Good-Neighbor Conditional Diagnosability of Locally Twisted Cubes
Published
• View Publication
• BIB
In the work of Peng et al. in 2012, a new measure was proposed for fault diagnosis of systems: namely, g-good-neighbor conditional diagnosability, which requires that any fault-free vertex has at least g fault-free neighbors in the system. In this paper, we establish the g-good-neighbor conditional diagnosability of locally twisted cubes under the PMC model and the MM^* model.
A sequent calculus for the Tamari order
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law (equivalently, tree rotation). We establish a focusing property for this sequent calculus (a strengthening of cut-elimination), which yields the following coherence theorem: every valid entailment in the Tamari order has exactly one focused derivation. One combinatorial application of this coherence theorem is a new proof of the Tutte-Chapoton formula for the number of intervals in the Tamari lattice $Y_n$. We also apply the sequent calculus and the coherence theorem to build a surprising bijection between intervals of the Tamari order and a certain fragment of lambda calculus, consisting of the $β$-normal planar lambda terms with no closed proper subterms.
Decomposing edge-colored graphs under color degree constraints
Published
• View Publication
• BIB
For an edge-colored graph $G$, the minimum color degree of $G$ means the minimum number of colors on edges which are adjacent to each vertex of $G$. We prove that if $G$ is an edge-colored graph with minimum color degree at least $5$ then $V(G)$ can be partitioned into two parts such that each part induces a subgraph with minimum color degree at least $2$. We show this theorem by proving a much stronger form. Moreover, we point out an important relationship between our theorem and Bermond-Thomassen's conjecture in digraphs.
The Saturation Number of Induced Subposets of the Boolean Lattice
Published
• View Publication
• BIB
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, was introduced by Gerbner et al. (2013), and parallels the deep literature on the saturation function for graphs.
We introduce and study the concept of saturation for induced subposets. As opposed to induced saturation in graphs, the above definition of saturation for posets extends naturally to the induced setting. We give several exact results and a number of bounds on the induced saturation number for several small posets. We also use a transformation to the biclique cover problem to prove a logarithmic lower bound for a rich infinite family of target posets.