graph
34516 papers tagged with this keyword
Structure of quasi-crystal graphs and applications to the combinatorics of quasi-symmetric functions
Crystal graphs are powerful combinatorial tools for working with the plactic monoid and symmetric functions. Quasi-crystal graphs are an analogous concept for the hypoplactic monoid and quasi-symmetric functions. This paper makes a combinatorial study of these objects. We explain a previously-observed isomorphism of components of the quasi-crystal graph, and provide an explicit description using a new combinatorial structure called a quasi-array. Then two conjectures of Maas-Gariépy on the interaction of fundamental quasi-symmetric functions and Schur functions and on the arrangement of quasi-crystal components within crystal components are answered, the former positively, the latter negatively.
A local characterization of quasi-crystal graphs
It is provided a local characterization of quasi-crystal graphs, by presenting a set of local axioms, similar to the ones introduced by Stembridge for crystal graphs of simply-laced root systems. It is also shown that quasi-crystal graphs satisfying these axioms are closed under the tensor product recently introduced by Cain, Guilherme and Malheiro. It is deduced that each connected component of such a graph has a unique highest weight element, whose weight is a composition, and it is isomorphic to a quasi-crystal graph of semistandard quasi-ribbon tableaux.
Resolvability and convexity properties in the Sierpiński product of graphs
Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex.
Mutual-visibility sets in Cartesian products of paths and cycles
For a given graph $G$, the mutual-visibility problem asks for the largest set of vertices $M \subseteq V(G)$ with the property that for any pair of vertices $u,v \in M$ there exists a shortest $u,v$-path of $G$ that does not pass through any other vertex in $M$.
The mutual-visibility problem for Cartesian products of a cycle and a path, as well as for Cartesian products of two cycles, is considered. Optimal solutions are provided for the majority of Cartesian products of a cycle and a path, while for the other family of graphs, the problem is completely solved.
Adaptive Softassign via Hadamard-Equipped Sinkhorn
Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This method can automatically tune the parameter based on a given error bound to guarantee accuracy. The Hadamard-Equipped Sinkhorn formulas introduced in this study significantly enhance the efficiency and stability of the adaptive softassign. Moreover, these formulas can also be used in optimal transport problems. The resulting adaptive softassign graph matching algorithm enjoys significantly higher accuracy than previous state-of-the-art large graph matching algorithms while maintaining comparable efficiency.
Cellularity of KLR and weighted KLRW algebras via crystals
We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.
On a class of strong valid inequalities for the connected matching polytope
We identify a family of $O(|E(G)|^2)$ nontrivial facets of the connected matching polytope of a graph $G$, that is, the convex hull of incidence vectors of matchings in $G$ whose covered vertices induce a connected subgraph. Accompanying software to further inspect the polytope of an input graph is available.
The Upper Clique Transversal Problem
A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.
Packing mixed hyperarborescences
The aim of this paper is twofold. We first provide a new orientation theorem which gives a natural and simple proof of a result of Gao, Yang \cite{GY} on matroid-reachability-based packing of mixed arborescences in mixed graphs by reducing it to the corresponding theorem of Cs. Király \cite{cskir} on directed graphs. Moreover, we extend another result of Gao, Yang \cite{GY2} by providing a new theorem on mixed hypergraphs having a packing of mixed hyperarborescences such that their number is at least $\ell$ and at most $\ell'$, each vertex belongs to exactly $k$ of them, and each vertex $v$ is the root of least $f(v)$ and at most $g(v)$ of them.
Unique Least Common Ancestors and Clusters in Directed Acyclic Graphs
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.
Probabilistic Bounds for Data Storage with Feature Selection and Undersampling
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.
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$.
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.
Matching powers of monomial ideals and edge ideals of weighted oriented graphs
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.
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.
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)$.
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.
Weak degeneracy of regular graphs
Motivated by the study of greedy algorithms for graph coloring, Bernshteyn and Lee introduced a generalization of graph degeneracy, which is called weak degeneracy. In this paper, we show the lower bound of the weak degeneracy for $d$-regular graphs is exactly $\lfloor d/2\rfloor +1$, which is tight. This result refutes the conjecture of Bernshteyn and Lee on this lower bound.
The comparison of two Zagreb-Fermat eccentricity indices
In this paper, we focus on comparing the first and second Zagreb-Fermat eccentricity indices of graphs. We show that $$\frac{\sum_{uv\in E\left( G \right)}{\varepsilon_3\left( u \right) \varepsilon_3\left( v \right)}}{m\left( G \right)} \leq \frac{\sum_{u\in V\left( G \right)}{\varepsilon_{3}^{2}\left( u \right)}}{n\left( G \right)} $$ holds for all acyclic and unicyclic graphs. Besides, we verify that the inequality may not be applied to graphs with at least two cycles.
Classifying Tractable Instances of the Generalized Cable-Trench Problem
Given a graph $G$ rooted at a vertex $r$ and weight functions, $γ, τ: E(G) \rightarrow \mathbb{R}$, the generalized cable-trench problem (CTP) is to find a single spanning tree that simultaneously minimizes the sum of the total edge cost with respect to $τ$ and the single-source shortest paths cost with respect to $γ$. Although this problem is provably $NP$-complete in the general case, we examine certain tractable instances involving various graph constructions of trees and cycles, along with quantities associated to edges and vertices that arise out of these constructions. We show that given a graph in which all cycles are edge disjoint, there exists a fast method to determine a cable-trench solution. Further, we examine properties of graphs which contribute to the general intractability of the CTP and present some open questions in this direction.