Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Unique Least Common Ancestors and Clusters in Directed Acyclic Graphs
Published
• View Publication
• BIB
We investigate the connections between clusters and least common ancestors (LCAs) in directed acyclic graphs (DAGs). We focus on the class of DAGs having unique least common ancestors for certain subsets of their minimal elements since these are of interest, particularly as models of phylogenetic networks. Here, we use the close connection between the canonical k-ary transit function and the closure function on a set system to show that pre-k-ary clustering systems are exactly those that derive from a class of DAGs with unique LCAs. Moreover, we show that k-ary T-systems and k-weak hierarchies are associated with DAGs that satisfy stronger conditions on the existence of unique LCAs for sets of size at most k.
A deletion-contraction formula and monotonicity properties for the polymatroid Tutte polynomial
Published
• View Publication
• BIB
The Tutte polynomial is a crucial invariant of matroids. The polymatroid Tutte polynomial $\mathscr{T}_{P}(x,y)$, introduced by Bernardi et al., is an extension of the classical Tutte polynomial from matroids to polymatroids $P$. In this paper, we first obtain a deletion-contraction formula for $\mathscr{T}_{P}(x,y)$. Then we prove two natural monotonicity properties, for containment and for minors of the interior polynomial $x^{n}\mathscr{T}_{P}(x^{-1},1)$ and the exterior polynomial $y^{n}\mathscr{T}_{P}(1,y^{-1})$, for polymatroids $P$ over $[n]$. We show by a counter-example that these monotonicity properties do not extend to $\mathscr{T}_{P}(x,y)$. Using deletion-contraction, we obtain formulas for the coefficients of terms of degree $n-1$ in $\mathscr{T}_{P}(x,y)$. Finally, for all $k\geq 0$, we characterize hypergraphs $\mathcal{H}=(V,E)$ so that the coefficient of $y^{k}$ in the exterior polynomial of the associated polymatroid $P_{\mathcal{H}}$ attains its maximal value $\binom{|V|+k-2}{k}$.
Transformations on hypergraph families
We present a new general theory of function-based hypergraph transformations on finite families of finite hypergraphs. A function-based hypergraph transformation formalises the action of structurally modifying hypergraphs from a family in a consistent manner. The mathematical form of the transformations facilitates their analysis and incorporation into larger mathematical structures, and concurs with the function-based nature of modelling in the physical world. Since quotients of hypergraphs afford their simplification and comparison, we also discuss the notion of a quotient hypergraph transformation induced by an equivalence relation on the vertex set of a hypergraph family. Finally, we demonstrate function-based hypergraph transformations with two fundamental classes of examples involving the addition or deletion of hyperedges or hypergraphs.
Probabilistic Bounds for Data Storage with Feature Selection and Undersampling
Published
• View Publication
• BIB
In this paper we consider data storage from a probabilistic point of view and obtain bounds for efficient storage in the presence of feature selection and undersampling, both of which are important from the data science perspective. First, we consider encoding of correlated sources for nonstationary data and obtain a Slepian-Wolf type result for the probability of error. We then reinterpret our result by allowing one source to be the set of features to be discarded and other source to be remaining data to be encoded. Next, we consider neighbourhood domination in random graphs where we impose the condition that a fraction of neighbourhood must be present for each vertex and obtain optimal bounds on the minimum size of such a set. We show how such sets are useful for data undersampling in the presence of imbalanced datasets and briefly illustrate our result using~\(k-\)nearest neighbours type classification rules as an example.
A Probabilistic Model for Data Redundancy in the Feature Domain
In this paper, we use a probabilistic model to estimate the number of uncorrelated features in a large dataset. Our model allows for both pairwise feature correlation (collinearity) and interdependency of multiple features (multicollinearity) and we use the probabilistic method to obtain upper and lower bounds of the same order, for the size of a feature set that exhibits low collinearity and low multicollinearity. We also prove an auxiliary result regarding mutually good constrained sets that is of independent interest.
Query complexity of Boolean functions on the middle slice of the cube
Published
• View Publication
• BIB
We study the query complexity on slices of Boolean functions. Among other results we show that there exists a Boolean function for which we need to query all but 7 input bits to compute its value, even if we know beforehand that the number of 0's and 1's in the input are the same, i.e., when our input is from the middle slice. This answers a question of Byramji. Our proof is non-constructive, but we also propose a concrete candidate function that might have the above property. Our results are related to certain natural discrepancy type questions that, somewhat surprisingly, have not been studied before.
On the Difference of Atom-Bond Sum-Connectivity and Atom-Bond-Connectivity Indices
The atom-bond-connectivity (ABC) index is one of the well-investigated degree-based topological indices. The atom-bond sum-connectivity (ABS) index is a modified version of the ABC index, which was introduced recently. The primary goal of the present paper is to investigate the difference between the aforementioned two indices, namely $ABS-ABC$. It is shown that the difference $ABS-ABC$ is positive for all graphs of minimum degree at least $2$ as well as for all line graphs of those graphs of order at least $5$ that are different from the path and cycle graphs. By means of computer search, the difference $ABS-ABC$ is also calculated for all trees of order at most $15$.
Quiver presentations and isomorphisms of Hecke categories and Khovanov arc algebras
We prove that the extended Khovanov arc algebras are isomorphic to the basic algebras of anti-spherical Hecke categories for maximal parabolics of symmetric groups. We present these algebras by quiver and relations and provide the full submodule lattices of Verma modules.
Symmetric tensor powers of graphs
The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research.
Geometric and combinatorial properties of extended Springer fibers
We consider a generalization of the Springer resolution studied in earlier work of the authors, called the extended Springer resolution. In type $A$, this map plays a role in Lusztig's generalized Springer correspondence comparable to that of the Springer resolution in the Springer correspondence. The fibers of the Springer resolution play a key part in the latter story, and connect the combinatorics of tableaux to geometry. Our main results prove the same is true for fibers of the extended Springer resolution -- their geometry is governed by the combinatorics of tableaux. In particular, we prove that these fibers are paved by affines, up to the action of a finite group, and give combinatorial formulas for their Betti numbers. This yields, among other things, a simple formula for dimensions of stalks of the Lusztig sheaves arising in the study of the generalized Springer correspondence, and shows that there is a close resemblance between each Lusztig sheaf and the Springer sheaf for a smaller group.
Matching powers of monomial ideals and edge ideals of weighted oriented graphs
Published
• View Publication
• BIB
We introduce the concept of matching powers of monomial ideals. Let $I$ be a monomial ideal of $S=K[x_1,\dots,x_n]$, with $K$ a field. The $k$th matching power of $I$ is the monomial ideal $I^{[k]}$ generated by the products $u_1\cdots u_k$ where $u_1,\dots,u_k$ is a monomial regular sequence contained in $I$. This concept naturally generalizes that of squarefree powers of squarefree monomial ideals. We study depth and regularity functions of matching powers of monomial ideals and edge ideals of weighted oriented graphs. We show that the last nonvanishing power of a quadratic monomial ideal is always polymatroidal and thus has a linear resolution. When $I$ is a non-quadratic edge ideal of a weighted oriented forest, we characterize when $I^{[k]}$ has a linear resolution.
Runs in Random Sequences over Ordered Sets
Published
• View Publication
• BIB
We determine the distributions of lengths of runs in random sequences of elements from a totally ordered set (total order) or partially ordered set (partial order). In particular, we produce novel formulae for the expected value, variance, and probability generating function (PGF) of such lengths in the case of an arbitrary total order. Our focus is on the case of distributions with both atoms and diffuse (absolutely or singularly continuous) mass which has not been addressed in this generality before. We also provide a method of calculating the PGF of run lengths for countably series-parallel partial orders. Additionally, we prove a strong law of large numbers for the distribution of run lengths in a particular realization of an infinite sequence.
On the Estrada index of unicyclic and bicyclic signed graphs
Let $Γ=(G, σ)$ be a signed graph of order $n$ with eigenvalues $μ_1,μ_2,\ldots,μ_n.$ We define the Estrada index of a signed graph $Γ$ as $EE(Γ)=\sum_{i=1}^ne^{μ_i}$. We characterize the signed unicyclic graphs with the maximum Estrada index. The signed graph $Γ$ is said to have the pairing property if $μ$ is an eigenvalue whenever $-μ$ is an eigenvalue of $Γ$ and both $μ$ and $-μ$ have the same multiplicities. If $Γ_{p}^-(n, m)$ denotes the set of all unbalanced graphs on $n$ vertices and $m$ edges with the pairing property, we determine the signed graphs having the maximum Estrada index in $Γ_{p}^-(n, m)$, when $m=n$ and $m=n+1$. Finally, we find the signed graphs among all unbalanced complete bipartite signed graphs having the maximum Estrada index.
Low elements in dominant Shi regions
This note is a complement of a recent paper about low elements in affine Coxeter groups. We explain in terms of ad-nilpotent ideals of a Borel subalgebra why the minimal elements of dominant Shi regions are low. We also give a survey of the bijections involved in the study of dominant Shi regions in affine Weyl groups.
Strong resolving graph of the intersection graph in commutative rings
The intersection graph of ideals associated with a commutative unitary ring $R$ is the graph $G(R)$ whose vertices all non-trivial ideals of $R$ and there exists an edge between distinct vertices if and only if the intersection of them is non-zero. In this paper, the structure of the resolving graph of $G(R)$ is characterized and as an application, we evaluate the strong metric dimension of $G(R)$.
Neighborly partitions, hypergraphs and Gordon's identities
Published
• View Publication
• BIB
We prove a family of partition identities which is "dual" to the family of Andrews-Gordon's identities. These identities are inspired by a correspondence between a special type of partitions and "hypergraphs" and their proof uses combinatorial commutative algebra.
The extremals of the Kahn-Saks inequality
Published
• View Publication
• BIB
A classical result of Kahn and Saks states that given any partially ordered set with two distinguished elements, the number of linear extensions in which the ranks of the distinguished elements differ by $k$ is log-concave as a function of $k$. The log-concave sequences that can arise in this manner prove to exhibit a much richer structure, however, than is evident from log-concavity alone. The main result of this paper is a complete characterization of the extremals of the Kahn-Saks inequality: we obtain a detailed combinatorial understanding of where and what kind of geometric progressions can appear in these log-concave sequences. This settles a partial conjecture of Chan-Pak-Panova, while the analysis uncovers new extremals that were not previously conjectured. The proof relies on a much more general geometric mechanism -- a hard Lefschetz theorem for nef classes that was obtained in the setting of convex polytopes by Shenfeld and Van Handel -- which forms a model for the investigation of such structures in other combinatorial problems.
The directed Oberwolfach problem with variable cycle lengths: a recursive construction
Published
• View Publication
• BIB
The directed Oberwolfach problem OP$^\ast(m_1,\ldots,m_k)$ asks whether the complete symmetric digraph $K_n^\ast$, assuming $n=m_1+\ldots +m_k$, admits a decomposition into spanning subdigraphs, each a disjoint union of $k$ directed cycles of lengths $m_1,\ldots,m_k$. We hereby describe a method for constructing a solution to OP$^\ast(m_1,\ldots,m_k)$ given a solution to OP$^\ast(m_1,\ldots,m_\ell)$, for some $\ell<k$, if certain conditions on $m_1,\ldots,m_k$ are satisfied. This approach enables us to extend a solution for OP$^\ast(m_1,\ldots,m_\ell)$ into a solution for OP$^\ast(m_1,\ldots,m_\ell,t)$, as well as into a solution for OP$^\ast(m_1,\ldots,m_\ell,2^{\langle t \rangle})$, where $2^{\langle t \rangle}$ denotes $t$ copies of 2, provided $t$ is sufficiently large.
In particular, our recursive construction allows us to effectively address the two-table directed Oberwolfach problem. We show that OP$^\ast(m_1,m_2)$ has a solution for all $2 \le m_1\le m_2$, with a definite exception of $m_1=m_2=3$ and a possible exception in the case that $m_1 \in \{ 4,6 \}$, $m_2$ is even, and $m_1+m_2 \ge 14$. It has been shown previously that OP$^\ast(m_1,m_2)$ has a solution if $m_1+m_2$ is odd, and that OP$^\ast(m,m)$ has a solution if and only if $m \ne 3$.
In addition to solving many other cases of OP$^\ast$, we show that when $2 \le m_1+\ldots +m_k \le 13$, OP$^\ast(m_1,\ldots,m_k)$ has a solution if and only if $(m_1,\ldots,m_k) \not\in \{ (4),(6),(3,3) \}$.
Arithmetic Counts of Tropical Plane Curves and Their Properties
Published
• View Publication
• BIB
Recently, the first and third author proved a correspondence theorem which recovers the Levine-Welschinger invariants of toric del Pezzo surfaces as a count of tropical curves weighted with arithmetic multiplicities. In this paper, we study properties of the arithmetic count of plane tropical curves satisfying point conditions. We prove that this count is independent of the configuration of point conditions. Moreover, a Caporaso-Harris formula for the arithmetic count of plane tropical curves is obtained by moving one point to the very left. Repeating this process until all point conditions are stretched, we obtain an enriched count of floor diagrams which coincides with the tropical count. Finally, we prove polynomiality properties for the arithmetic counts using floor diagrams.
Robust Hamiltonicity in families of Dirac graphs
A graph is called Dirac if its minimum degree is at least half of the number of vertices in it. Joos and Kim showed that every collection $\mathbb{G}=\{G_1,\ldots,G_n\}$ of Dirac graphs on the same vertex set $V$ of size $n$ contains a Hamilton cycle transversal, i.e., a Hamilton cycle $H$ on $V$ with a bijection $φ:E(H)\rightarrow [n]$ such that $e\in G_{φ(e)}$ for every $e\in E(H)$.
In this paper, we determine up to a multiplicative constant, the threshold for the existence of a Hamilton cycle transversal in a collection of random subgraphs of Dirac graphs in various settings. Our proofs rely on constructing a spread measure on the set of Hamilton cycle transversals of a family of Dirac graphs.
As a corollary, we obtain that every collection of $n$ Dirac graphs on $n$ vertices contains at least $(cn)^{2n}$ different Hamilton cycle transversals $(H,φ)$ for some absolute constant $c>0$. This is optimal up to the constant $c$. Finally, we show that if $n$ is sufficiently large, then every such collection spans $n/2$ pairwise edge-disjoint Hamilton cycle transversals, and this is best possible. These statements generalize classical counting results of Hamilton cycles in a single Dirac graph.