Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Further Results on Existentially Closed Graphs Arising from Block Designs
Published in Graphs and Combinatorics, vol. 35, no. 6, pp. 1323-1335, 2019
• View Publication
• BIB
A graph is $n$-existentially closed ($n$-e.c.) if for any disjoint subsets $A$, $B$ of vertices with $|{A \cup B}|=n$, there is a vertex $z \notin A \cup B$ adjacent to every vertex of $A$ and no vertex of $B$. For a block design with block set $\cal B$, its block intersection graph is the graph whose vertex set is $\cal B$ and two vertices (blocks) are adjacent if they have non-empty intersection.
In this paper, we investigate the block intersection graphs of pairwise balanced designs, and propose a sufficient condition for such graphs to be $2$-e.c. In particular, we study the $λ$-fold triple systems with $λ\ge 2$ and determine for which parameters their block intersection graphs are $1$- or $2$-e.c. Moreover, for Steiner quadruple systems, the block intersection graphs and their analogue called $\{1\}$-block intersection graphs are investigated, and the necessary and sufficient conditions for such graphs to be $2$-e.c. are established.
Stability of the potential function
Published in SIAM J. Discrete Math. 32(3) (2018), 2313--2331
• View Publication
• BIB
A graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. The Erdős-Jacobson-Lehel problem asks to determine $σ(H,n)$, the minimum even integer such that any $n$-term graphic sequence $π$ with sum at least $σ(H,n)$ is potentially $H$-graphic. The parameter $σ(H,n)$ is known as the potential function of $H$, and can be viewed as a degree sequence variant of the classical extremal function ${\rm ex}(n,H)$. Recently, Ferrara, LeSaulnier, Moffatt and Wenger [On the sum necessary to ensure that a degree sequence is potentially $H$-graphic, Combinatorica 36 (2016), 687--702] determined $σ(H,n)$ asymptotically for all $H$, which is analogous to the Erdős-Stone-Simonovits Theorem that determines ${\rm ex}(n,H)$ asymptotically for nonbipartite $H$.
In this paper, we investigate a stability concept for the potential number, inspired by Simonovits' classical result on the stability of the extremal function. We first define a notion of stability for the potential number that is a natural analogue to the stability given by Simonovits. However, under this definition, many families of graphs are not $σ$-stable, establishing a stark contrast between the extremal and potential functions. We then give a sufficient condition for a graph $H$ to be stable with respect to the potential function, and characterize the stability of those graphs $H$ that contain an induced subgraph of order $α(H)+1$ with exactly one edge.
Finding Maximal Sets of Laminar 3-Separators in Planar Graphs in Linear Time
Published
• View Publication
• BIB
We consider decomposing a 3-connected planar graph $G$ using laminar separators of size three. We show how to find a maximal set of laminar 3-separators in such a graph in linear time. We also discuss how to find maximal laminar set of 3-separators from special families. For example we discuss non-trivial cuts, ie. cuts which split $G$ into two components of size at least two. For any vertex $v$, we also show how to find a maximal set of 3-separators disjoint from $v$ which are laminar and satisfy: every vertex in a separator $X$ has two neighbours not in the unique component of $G-X$ containing $v$. In all cases, we show how to construct a corresponding tree decomposition of adhesion three. Our new algorithms form an important component of recent methods for finding disjoint paths in nonplanar graphs.
Convex expansion for finite distributive lattices with applications
The concept of cutting is first explicitly introduced. By the concept, a convex expansion for finite distributive lattices is considered. Thus, a more general method for drawing the Hasse diagram is given, and the rank generating function of a finite distributive lattice is obtained. In addition, we have several enumerative properties on finite distributive lattices and verify the generalized Euler formula for polyhedrons.
Constructing sparse Davenport-Schinzel sequences
Published
• View Publication
• BIB
For any sequence $u$, the extremal function $Ex(u, j, n)$ is the maximum possible length of a $j$-sparse sequence with $n$ distinct letters that avoids $u$. We prove that if $u$ is an alternating sequence $a b a b \dots$ of length $s$, then $Ex(u, j, n) = Θ(s n^{2})$ for all $j \geq 2$ and $s \geq n$, answering a question of Wellman and Pettie [Lower Bounds on Davenport-Schinzel Sequences via Rectangular Zarankiewicz Matrices, Disc. Math. 341 (2018), 1987--1993] and extending the result of Roselle and Stanton that $Ex(u, 2, n) = Θ(s n^2)$ for any alternation $u$ of length $s \geq n$ [Some properties of Davenport-Schinzel sequences, Acta Arithmetica 17 (1971), 355--362].
Wellman and Pettie also asked how large must $s(n)$ be for there to exist $n$-block $DS(n, s(n))$ sequences of length $Ω(n^{2-o(1)})$. We answer this question by showing that the maximum possible length of an $n$-block $DS(n, s(n))$ sequence is $Ω(n^{2-o(1)})$ if and only if $s(n) = Ω(n^{1-o(1)})$. We also show related results for extremal functions of forbidden 0-1 matrices with any constant number of rows and extremal functions of forbidden sequences with any constant number of distinct letters.
When are stars the largest cross intersecting families?
Published
• View Publication
• BIB
We provide a necessary and sufficient condition for stars to be the largest cross intersecting families.
Lattice consensus: A partial order on phylogenetic trees that induces an associatively stable consensus method
There is a long tradition of the axiomatic study of consensus methods in phylogenetics that satisfy certain desirable properties. One recently-introduced property is associative stability, which is desirable because it confers a computational advantage, in that the consensus method only needs to be computed "pairwise". In this paper, we introduce a phylogenetic consensus method that satisfies this property, in addition to being "regular". The method is based on the introduction of a partial order on the set of rooted phylogenetic trees, itself based on the notion of a hierarchy-preserving map between trees. This partial order may be of independent interest. We call the method "lattice consensus", because it takes the unique maximal element in a lattice of trees defined by the partial order. Aside from being associatively stable, lattice consensus also satisfies the property of being Pareto on rooted triples, answering in the affirmative a question of Bryant et al (2017). We conclude the paper with an answer to another question of Bryant et al, showing that there is no regular extension stable consensus method for binary trees.
Classes of treebased networks
Published
• View Publication
• BIB
Recently, so-called treebased phylogenetic networks have gained considerable interest in the literature, where a treebased network is a network that can be constructed from a phylogenetic tree, called the base tree, by adding additional edges. The main aim of this manuscript is to provide some sufficient criteria for treebasedness by reducing phylogenetic networks to related graph structures. While it is generally known that deciding whether a network is treebased is NP-complete, one of these criteria, namely edgebasedness, can be verified in linear time. Surprisingly, the class of edgebased networks is closely related to a well-known family of graphs, namely the class of generalized series parallel graphs, and we will explore this relationship in full detail. Additionally, we introduce further classes of treebased networks and analyze their relationships.
Unrooted non-binary tree-based phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees allowing for the representation of non-treelike evolutionary events such as hybridization. Typically, such networks have been analyzed based on their `level', i.e. based on the complexity of their 2-edge-connected components. However, recently the question of how `treelike' a phylogenetic network is has become the center of attention in various studies. This led to the introduction of \emph{tree-based networks}, i.e. networks that can be constructed from a phylogenetic tree, called the \emph{base tree}, by adding additional edges. While the concept of tree-basedness was originally introduced for rooted phylogenetic networks, it has recently also been considered for unrooted networks. In the present study, we compare and contrast findings obtained for unrooted \emph{binary} tree-based networks to unrooted \emph{non-binary} networks. In particular, while it is known that up to level 4 all unrooted binary networks are tree-based, we show that in the case of non-binary networks, this result only holds up to level 3.
Anti-$k$-labeling of graphs
Published
• View Publication
• BIB
It is well known that the labeling problems of graphs arise in many (but not limited to) networking and telecommunication contexts. In this paper we introduce the anti-$k$-labeling problem of graphs which we seek to minimize the similarity (or distance) of neighboring nodes. For example, in the fundamental frequency assignment problem in wireless networks where each node is assigned a frequency, it is usually desirable to limit or minimize the frequency gap between neighboring nodes so as to limit interference.
Let $k\geq1$ be an integer and $ψ$ is a labeling function (anti-$k$-labeling) from $V(G)$ to $\{1,2,\cdots,k\}$ for a graph $G$. A {\em no-hole anti-$k$-labeling} is an anti-$k$-labeling using all labels between 1 and $k$. We define $w_ψ(e)=|ψ(u)-ψ(v)|$ for an edge $e=uv$ and $w_ψ(G)=\min\{w_ψ(e):e\in E(G)\}$ for an anti-$k$-labeling $ψ$ of the graph $G$. {\em The anti-$k$-labeling number} of a graph $G$, $mc_k(G)$ is $\max\{w_ψ(G): ψ\}$. In this paper, we first show that $mc_k(G)=\lfloor \frac{k-1}{χ-1}\rfloor$, and the problem that determines $mc_k(G)$ of graphs is NP-hard. We mainly obtain the lower bounds on no-hole anti-$n$-labeling number for trees, grids and $n$-cubes.
Some local--global phenomena in locally finite graphs
Published in Discrete Applied Mathematics 293 (2021), 166-176
• View Publication
• BIB
In this paper we present some results for a connected infinite graph $G$ with finite degrees where the properties of balls of small radii guarantee the existence of some Hamiltonian and connectivity properties of $G$. (For a vertex $w$ of a graph $G$ the ball of radius $r$ centered at $w$ is the subgraph of $G$ induced by the set $M_r(w)$ of vertices whose distance from $w$ does not exceed $r$). In particular, we prove that if every ball of radius 2 in $G$ is 2-connected and $G$ satisfies the condition $d_G(u)+d_G(v)\geq |M_2(w)|-1$ for each path $uwv$ in $G$, where $u$ and $v$ are non-adjacent vertices, then $G$ has a Hamiltonian curve, introduced by Kündgen, Li and Thomassen (2017). Furthermore, we prove that if every ball of radius 1 in $G$ satisfies Ore's condition (1960) then all balls of any radius in $G$ are Hamiltonian.
Regularity and $h$-polynomials of edge ideals
Published
• View Publication
• BIB
For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the $h$-polynomial of $R/I(G)$, is $d$. Additionally, if $G$ is a graph on $n$ vertices, we show that ${\rm reg}\left(R/I(G)\right) + {\rm deg} (h_{R/I(G)}(t)) \leq n$.
Recent Trends in Quasisymmetric Functions
Published
• View Publication
• BIB
This article serves as an introduction to several recent developments in the study of quasisymmetric functions. The focus of this survey is on connections between quasisymmetric functions and the combinatorial Hopf algebra of noncommutative symmetric functions, appearances of quasisymmetric functions within the theory of Macdonald polynomials, and analogues of symmetric functions. Topics include the significance of quasisymmetric functions in representation theory (such as representations of the 0-Hecke algebra), recently discovered bases (including analogues of well-studied symmetric function bases), and applications to open problems in symmetric function theory.
Enumerative and Structural Aspects Of Anagrams Without Fixed Letters
Published
• View Publication
• BIB
For the word $ω= \underbrace{11\ldots 1}_{x_1}\underbrace{22\ldots2}_{x_2}\ldots\underbrace{nn\ldots n}_{x_n},$ denote by $\mathsf{A}(x_1, x_2, \ldots, x_n)$ the number of its anagrams without fixed letters. While the function $\mathsf{A}()$ bears significant importance to economic theory \cite{MCKELVEY1997411}, it is not known whether it can be computed in polynomial time. The desire to answer efficiently certain queries related to this function motivates our study of its combinatorial properties. Our first main result shows that $\mathsf{A}(x_1, x_2, \ldots, x_n)\pmod{p}$ can be efficiently computed for any prime $p = O((\log n)^{1/3}).$ Our second main result establishes that the function $\mathsf{A}()$ is Schur-concave, which means that certain ordinal queries about $\mathsf{A}()$ can be answered in linearithmic time.
Our second direction of study is structural. We introduce the anagraph, which generalizes derangement graphs. For $(x_1, x_2, \ldots, x_n)\in \mathbb{Z}_{\ge 0}^n,$ $\mathcal{AG}(x_1, x_2, \ldots, x_n)$ is a graph on vertex set all words over the alphabet $[n]$ which have exactly $x_i$ letters $i.$ Two vertices are adjacent if they are anagrams without fixed letters of each other. Our main result fully determines the $n$-tuples $(x_1, \ldots, x_n)$ for which the anagraph is connected and leads to a linear algorithm for this task. We end with a conjecture, which fits into the ongoing debate about the connection between hamiltonicity and vertex-transitivity \cite{transitive}.
One contribution of the current paper is a systematic development of techniques for analyzing anagrams without fixed letters. We illustrate the power of these techniques with further arithmetic, ordinal, and structural results.
A New Characterization of $\mathcal{V}$-Posets
Published
• View Publication
• BIB
In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced $N$-free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "$\mathcal{V}$-posets". Here we offer a new characterization of $\mathcal{V}$-posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph $D$ (with adjacency matrix $U$) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of $D$ so that Gaussian elimination of $U^TU$ proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.
A Cohomology Theory for Planar Trivalent Graphs with Perfect Matchings
We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and without perfect matchings that are invariants of abstract tensors systems and spin networks defined by Roger Penrose in the 1970s. We show how some of these polynomials can be ``categorified'' into their own homology theories.
The largest spectral radius of uniform hypertrees with a given size of matching
Published
• View Publication
• BIB
In this paper, using the theory of matching polynomial of hypertrees and ordering of hypertrees, we determine the largest spectral radius of hypertrees with $m$ edges and given size of matching.
Higher Dimensional Lattice Walks: Connecting Combinatorial and Analytic Behavior
Published
• View Publication
• BIB
We consider the enumeration of walks on the non-negative lattice $\mathbb{N}^d$, with steps defined by a set $\mathcal{S} \subset \{-1, 0, 1\}^d \setminus \{\mathbf{0}\}$. Previous work in this area has established asymptotics for the number of walks in certain families of models by applying the techniques of analytic combinatorics in several variables (ACSV), where one encodes the generating function of a lattice path model as the diagonal of a multivariate rational function. Melczer and Mishna obtained asymptotics when the set of steps $\mathcal{S}$ is symmetric over every axis; in this setting one can always apply the methods of ACSV to a multivariate rational function whose whose set of singularities is a smooth manifold (the simplest case). Here we go further, providing asymptotics for models with generating functions that must be encoded by multivariate rational functions with non-smooth singular sets. In the process, our analysis connects past work to deeper structural results in the theory of analytic combinatorics in several variables. One application is a closed form for asymptotics of models defined by step sets which are symmetric over all but one axis. As a special case, we apply our results when $d=2$ to give a rigorous proof of asymptotics conjectured by Bostan and Kauers; asymptotics for walks returning to boundary axes and the origin are also given.
Squared distance matrix of a weighted tree
Published
• View Publication
• BIB
Let $T$ be a tree with vertex set $\{1, \ldots, n\}$ such that each edge is assigned a nonzero weight. The squared distance matrix of $T,$ denoted by $Δ,$ is the $n \times n$ matrix with $(i,j)$-element $d(i,j)^2,$ where $d(i,j)$ is the sum of the weights of the edges on the $(ij)$-path. We obtain a formula for the determinant of $Δ.$ A formula for $Δ^{-1}$ is also obtained, under certain conditions. The results generalize known formulas for the unweighted case.
Coloring graphs with no induced five-vertex path or gem
Published in J. Graph Theory 95(4) (2020), 527-542
• View Publication
• BIB
For a graph $G$, let $χ(G)$ and $ω(G)$ respectively denote the chromatic number and clique number of $G$. We give an explicit structural description of ($P_5$,gem)-free graphs, and show that every such graph $G$ satisfies $χ(G)\le \lceil\frac{5ω(G)}{4}\rceil$. Moreover, this bound is best possible.