Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A Real Polynomial for Bipartite Graph Minimum Weight Perfect Matchings
In a recent paper, Beniamini and Nisan gave a closed-form formula for the unique multilinear polynomial for the Boolean function determining whether a given bipartite graph $G \subseteq K_{n,n}$ has a perfect matching, together with an efficient algorithm for computing the coefficients of the monomials of this polynomial. We give the following generalization: Given an arbitrary non-negative weight function $w$ on the edges of $K_{n,n}$, consider its set of minimum weight perfect matchings. We give the real multilinear polynomial for the Boolean function which determines if a graph $G \subseteq K_{n,n}$ contains one of these minimum weight perfect matchings.
Introduction to dominated edge chromatic number of a graph
Published
• View Publication
• BIB
We introduce and study the dominated edge coloring of a graph. A dominated edge coloring of a graph $G$ is a proper edge coloring of $G$ such that each color class is dominated by at least one edge of $G$. The minimum number of colors among all dominated edge coloring is called the dominated edge chromatic number, denoted by $χ_{dom}^{\prime}(G)$. We obtain some properties of $χ_{dom}^{\prime}(G)$ and compute it for specific graphs. Also we examine the effects on $χ_{dom}^{\prime}(G)$ when $G$ is modified by operations on vertex and edge of $G$. Finally, we consider the $k$-subdivision of $G$ and study the dominated edge chromatic number of these kind of graphs.
The positive Dressian equals the positive tropical Grassmannian
Published
• View Publication
• BIB
The Dressian and the tropical Grassmannian parameterize abstract and realizable tropical linear spaces; but in general, the Dressian is much larger than the tropical Grassmannian. There are natural positive notions of both of these spaces -- the positive Dressian, and the positive tropical Grassmannian (which we introduced roughly fifteen years ago) -- so it is natural to ask how these two positive spaces compare. In this paper we show that the positive Dressian equals the positive tropical Grassmannian. Using the connection between the positive Dressian and regular positroidal subdivisions of the hypersimplex, we use our result to give a new "tropical" proof of da Silva's 1987 conjecture (first proved in 2017 by Ardila-Rincon-Williams) that all positively oriented matroids are realizable. We also show that the finest regular positroidal subdivisions of the hypersimplex consist of series-parallel matroid polytopes, and achieve equality in Speyer's f-vector theorem. Finally we give an example of a positroidal subdivision of the hypersimplex which is not regular, and make a connection to the theory of tropical hyperplane arrangements.
On the largest eigenvalue of a mixed graph with partial orientation
Published in Linear Algebra and its Applications, 627(2021),150-161
• View Publication
• BIB
Let $G$ be a connected graph and let $T$ be a spanning tree of $G$. A partial orientation $σ$ of $G$ respect to $T$ is an orientation of the edges of $G$ except those edges of $T$, the resulting graph associated with which is denoted by $G_T^σ$. In this paper we prove that there exists a partial orientation $σ$ of $G$ respect to $T$ such that the largest eigenvalue of the Hermitian adjacency matrix of $G_T^σ$ is at most the largest absolute value of the roots of the matching polynomial of $G$.
On the Asymptotic Growth of the Number of Tree-Child Networks
Published
• View Publication
• BIB
In a recent paper, McDiarmid, Semple, and Welsh (2015) showed that the number of tree-child networks with $n$ leaves has the factor $n^{2n}$ in its main asymptotic growth term. In this paper, we improve this by completely identifying the main asymptotic growth term up to a constant. More precisely, we show that the number of tree-child networks with $n$ leaves grows like \[ Θ\left(n^{-2/3}e^{a_1(3n)^{1/3}}\left(\frac{12}{e^2}\right)^{n}n^{2n}\right), \] where $a_1=-2.338107410\cdots$ is the largest root of the Airy function of first kind. For the proof, we bijectively map the underlying graph-theoretical problem onto a problem on words. For the latter, we can find a recurrence to which a recent powerful asymptotic method of Elvey Price, Fang, and Wallner (2019) can be applied.
Thick weakly distance-regular digraphs
Published
• View Publication
• BIB
A weakly distance-regular digraph is thick if its attached scheme is regular. In this paper, we show that each commutative thick weakly distance-regular digraph has a thick weakly distance-regular subdigraph such that the corresponding quotient digraph falls into six families of thick weakly distance-regular digraphs up to isomorphism.
Law of large numbers for Betti numbers of homogeneous and spatially independent random simplicial complexes
Published
• View Publication
• BIB
The Linial-Meshulam complex model is a natural higher-dimensional analog of the Erdős-Rényi graph model. In recent years, Linial and Peled established a limit theorem for Betti numbers of Linial-Meshulam complexes with an appropriate scaling of the underlying parameter. The present paper aims to extend that result to more-general random simplicial complex models. We introduce a class of homogeneous and spatially independent random simplicial complexes, including the Linial-Meshulam complex model and the random clique complex model as special cases, and we study the asymptotic behavior of their Betti numbers. Moreover, we obtain the convergence of the empirical spectral distributions of their Laplacians. A key element in the argument is the local weak convergence of simplicial complexes. Inspired by the work of Linial and Peled, we establish the local weak limit theorem for homogeneous and spatially independent random simplicial complexes.
Finite metric and $k$-metric bases on ultrametric spaces
Published
• View Publication
• BIB
Given a metric space $(X,d)$, a set $S\subseteq X$ is called a $k$-\emph{metric generator} for $X$ if any pair of different points of $X$ is distinguished by at least $k$ elements of $S$. A $k$-\emph{metric basis} is a $k$-metric generator of the minimum cardinality in $X$. We prove that ultrametric spaces do not have finite $k$-metric bases for $k>2$. We also characterize when the metric and 2-metric bases of an ultrametric space are finite and, when they are finite, we characterize them. Finally, we prove that an ultrametric space can be easily recovered knowing only the metric basis and the coordinates of the points in it.
Computation of Tight Enclosures for Laplacian Eigenvalues
Published in SIAM J. Sci. Comput., vol. 42, no. 5, pp. A3210--A3232, 2020
• View Publication
• BIB
Recently, there has been interest in high-precision approximations of the first eigenvalue of the Laplace-Beltrami operator on spherical triangles for combinatorial purposes. We compute improved and certified enclosures to these eigenvalues. This is achieved by applying the method of particular solutions in high precision, the enclosure being obtained by a combination of interval arithmetic and Taylor models. The index of the eigenvalue is certified by exploiting the monotonicity of the eigenvalue with respect to the domain. The classically troublesome case of singular corners is handled by combining expansions at all corners and an expansion from an interior point. In particular, this allows us to compute 100 digits of the fundamental eigenvalue for the 3D Kreweras model that has been the object of previous efforts.
The Roman (k,k)-domatic number of a graph
Let $k$ be a positive integer. A {\em Roman $k$-dominating function} on a graph $G$ is a labeling $f:V (G)\longrightarrow \{0, 1, 2\}$ such that every vertex with label 0 has at least $k$ neighbors with label 2. A set $\{f_1,f_2,\ldots,f_d\}$ of distinct Roman $k$-dominating functions on $G$ with the property that $\sum_{i=1}^df_i(v)\le 2k$ for each $v\in V(G)$, is called a {\em Roman $(k,k)$-dominating family} (of functions) on $G$. The maximum number of functions in a Roman $(k,k)$-dominating family on $G$ is the {\em Roman $(k,k)$-domatic number} of $G$, denoted by $d_{R}^k(G)$. Note that the Roman $(1,1)$-domatic number $d_{R}^1(G)$ is the usual Roman domatic number $d_{R}(G)$. In this paper we initiate the study of the Roman $(k,k)$-domatic number in graphs and we present sharp bounds for $d_{R}^k(G)$. In addition, we determine the Roman $(k,k)$-domatic number of some graphs. Some of our results extend those given by Sheikholeslami and Volkmann in 2010 for the Roman domatic number.
The Cayley isomorphism property for the group $C_4\times C_p^2$
Published in Communications in Algebra, Vol. 49, No. 4 (2021), 1788-1804
• View Publication
• BIB
A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_4\times C_p^2$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$.
Enumeration of Irredundant Forests
Published in Theoretical Computer Science, 2022
• View Publication
• BIB
Reverse search is a convenient method for enumerating structured objects, that can be used both to address theoretical issues and to solve data mining problems. This method has already been successfully developed to handle unordered trees. If the literature proposes solutions to enumerate singletons of trees, we study in this article a more general problem, the enumeration of sets of trees -- forests. Specifically, we mainly study irredundant forests, i.e., where no tree is a subtree of another. By compressing each such forest into a Directed Acyclic Graph (DAG), we develop a reverse search like method to enumerate DAGs compressing irredundant forests. Remarkably, we prove that these DAGs are in bijection with the row-Fishburn matrices, a well-studied class of combinatorial objects. In a second step, we derive our irredundant forest enumeration to provide algorithms for tackling related problems: (i) enumeration of forests in their classical sense (where redundancy is allowed); (ii) the enumeration of "subforests" of a forest, and (iii) the frequent "subforest" mining problem. All the methods presented in this article enumerate each item uniquely, up to isomorphism.
Counting Bounded Tree Depth Homomorphisms
Published
• View Publication
• BIB
We prove that graphs G, G' satisfy the same sentences of first-order logic with counting of quantifier rank at most k if and only if they are homomorphism-indistinguishable over the class of all graphs of tree depth at most k. Here G, G' are homomorphism-indistinguishable over a class C of graphs if for each graph F in C, the number of homomorphisms from F to G equals the number of homomorphisms from F to G'.
The Dirichlet random walk
Published
• View Publication
• BIB
In this article we define and study a stochastic process on Galoisian covers of compact manifolds. The successive positions of the process are defined recursively by picking a point uniformly in the Dirichlet domain of the previous one. We prove a theorem à la Kesten for such a process: the escape rate of the random walk is positive if and only if the cover is non amenable. We also investigate more in details the case where the deck group is Gromov hyperbolic, showing the almost sure convergence to the boundary of the trajectory as well as a central limit theorem for the escape rate
Random triangles on flat tori
Published
• View Publication
• BIB
Inspired by classical puzzles in geometry that ask about probabilities of geometric phenomena, we give an explicit formula for the probability that a random triangle on a flat torus is homotopically trivial. Our main tool for this computation involves reducing the problem to new invariant of measurable sets in the plane that is unchanged under area-preserving affine transformations. Our result show that this probability is minimized at all rectangular tori and maximized at the regular hexagonal torus.
Some multivariate master polynomials for permutations, set partitions, and perfect matchings, and their continued fractions
Published in Adv. Appl. Math. 138, 102341 (2022)
• View Publication
• BIB
We find Stieltjes-type and Jacobi-type continued fractions for some "master polynomials" that enumerate permutations, set partitions or perfect matchings with a large (sometimes infinite) number of simultaneous statistics. Our results contain many previously obtained identities as special cases, providing a common refinement of all of them.
Largest family without a pair of posets on consecutive levels of the Boolean lattice
Published
• View Publication
• BIB
Suppose $k \ge 2$ is an integer. Let $Y_k$ be the poset with elements $x_1, x_2, y_1, y_2, \ldots, y_{k-1}$ such that $y_1 < y_2 < \cdots < y_{k-1} < x_1, x_2$ and let $Y_k'$ be the same poset but all relations reversed. We say that a family of subsets of $[n]$ contains a copy of $Y_k$ on consecutive levels if it contains $k+1$ subsets $F_1, F_2, G_1, G_2, \ldots, G_{k-1}$ such that $G_1\subset G_2 \subset \cdots \subset G_{k-1} \subset F_1, F_2$ and $|F_1| = |F_2| = |G_{k-1}|+1 =|G_{k-2}|+ 2= \cdots = |G_{1}|+k-1$. If both $Y_k$ and $Y'_k$ on consecutive levels are forbidden, the size of the largest such family is denoted by $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$. In this paper, we will determine the exact value of $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$.
Cooperative conditions for the existence of rainbow matchings
Published
• View Publication
• BIB
Let $k>1$, and let $\mathcal{F}$ be a family of $2n+k-3$ non-empty sets of edges in a bipartite graph. If the union of every $k$ members of $\mathcal{F}$ contains a matching of size $n$, then there exists an $\mathcal{F}$-rainbow matching of size $n$. Replacing $2n+k-3$ by $2n+k-2$, the result is true also for $k=1$, and it can be proved (for all $k$) both topologically and by a relatively simple combinatorial argument. The main effort is in gaining the last $1$, which makes the result sharp.
Colorings of complements of line graphs
Published
• View Publication
• BIB
Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph $\operatorname{KG}(n,2)$ that have a chromatic number equal to its chromatic number, namely $n-2$. In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the $\operatorname{NP}$-hardness of deciding the equality between the chromatic number and any of these bounds.
The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.
On Kemeny's constant for trees with fixed order and diameter
Published
• View Publication
• BIB
Kemeny's constant $κ(G)$ of a connected graph $G$ is a measure of the expected transit time for the random walk associated with $G$. In the current work, we consider the case when $G$ is a tree, and, in this setting, we provide lower and upper bounds for $κ(G)$ in terms of the order $n$ and diameter $δ$ of $G$ by using two different techniques. The lower bound is given as Kemeny's constant of a particular caterpillar tree and, as a consequence, it is sharp. The upper bound is found via induction, by repeatedly removing pendent vertices from $G$. By considering a specific family of trees - the broom-stars - we show that the upper bound is asymptotically sharp.