arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35367 papers tagged with this keyword
Randomly twisted hypercubes -- between structure and randomness
Published • View Publication • BIB
Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these graphs have optimal diameter. We study twisted hypercubes in the setting where the instances can have general dependence, and also in the particular case where they are identical. We show that the resultant graph shares properties with random regular graphs, including small diameter, large vertex expansion, a semicircle law for its eigenvalues and no non-trivial automorphisms. However, in contrast to random regular graphs, twisted hypercubes allow for short routing schemes.
2022-11-13
Quantifying syntax similarity with a polynomial representation of dependency trees
Published • View Publication • BIB
We introduce a graph polynomial that distinguishes tree structures to represent dependency grammar and a measure based on the polynomial representation to quantify syntax similarity. The polynomial encodes accurate and comprehensive information about the dependency structure and dependency relations of words in a sentence. We apply the polynomial-based methods to analyze sentences in the Parallel Universal Dependencies treebanks. Specifically, we compare the syntax of sentences and their translations in different languages, and we perform a syntactic typology study of available languages in the Parallel Universal Dependencies treebanks. We also demonstrate and discuss the potential of the methods in measuring syntax diversity of corpora.
2022-11-13
Ideals of submaximal minors of sparse symmetric matrices
Published • View Publication • BIB
We study algebraic and homological properties of the ideal of submaximal minors of a sparse generic symmetric matrix. This ideal is generated by all $(n-1)$-minors of a symmetric $n \times n$ matrix whose entries in the upper triangle are distinct variables or zeros and the zeros are only allowed at off-diagonal places. The surviving off-diagonal entries are encoded as a simple graph $G$ with $n$ vertices. We prove that the minimal free resolution of this ideal is obtained from the case without any zeros via a simple pruning procedure, extending methods of Boocher. This allows us to compute all graded Betti numbers in terms of $n$ and a single invariant of $G$. Moreover, it turns out that these ideals are always radical and have Cohen--Macaulay quotients if and only if $G$ is either connected or has no edges at all. The key input are some new Gröbner basis results with respect to non-diagonal term orders associated to $G$.
Special Intersection Graph in The Topological Graphs
In this paper, new graphs $G_τ=\left(V,E\right)$ are constructed from the discrete topological space $(X,τ)\ $ . Several properties of this type of graphs are given such that: the clique number equals the number of elements in X also the number of pendants vertices, $G_τ$ has no isolated vertices, the minimum degree in $G_τ$ is one and maximum degree equal $n-1+\sum^{n-1}_{i=2}\binom{n-1}{i}$ , the minimum dominating set is determined and $γ(G_τ)$ is evaluated for $G_τ$ and for corona and join operations between to discrete topological graphs. At what matter $β\left(G_τ\right)=γ(G_τ)$ is discussed for $G_τ$. Also that $G_τ$ is proved a connected graph of order $2^n-2$ and it has no isolated vertex. Then, rad $\ G_τ$ and diam $\ (G_τ)$ are evaluated.
Directed graphs with lower orientation Ramsey thresholds
Published • View Publication • BIB
We investigate the threshold $p_{\vec H}=p_{\vec H}(n)$ for the Ramsey-type property $G(n,p)\to \vec H$, where $G(n,p)$ is the binomial random graph and $G\to\vec H$ indicates that every orientation of the graph $G$ contains the oriented graph $\vec H$ as a subdigraph. Similarly to the classical Ramsey setting, the upper bound $p_{\vec H}\leq Cn^{-1/m_2(\vec H)}$ is known to hold for some constant $C=C(\vec H)$, where $m_2(\vec H)$ denotes the maximum $2$-density of the underlying graph $H$ of $\vec H$. While this upper bound is indeed the threshold for some $\vec H$, this is not always the case. We obtain examples arising from rooted products of orientations of sparse graphs (such as forests, cycles and, more generally, subcubic $\{K_3,K_{3,3}\}$-free graphs) and arbitrarily rooted transitive triangles.
2022-11-13 v2
A Local-to-Global Theorem for Congested Shortest Paths
Amiri and Wargalla (2020) proved the following local-to-global theorem in directed acyclic graphs (DAGs): if $G$ is a weighted DAG such that for each subset $S$ of 3 nodes there is a shortest path containing every node in $S$, then there exists a pair $(s,t)$ of nodes such that there is a shortest $st$-path containing every node in $G$. We extend this theorem to general graphs. For undirected graphs, we prove that the same theorem holds (up to a difference in the constant 3). For directed graphs, we provide a counterexample to the theorem (for any constant), and prove a roundtrip analogue of the theorem which shows there exists a pair $(s,t)$ of nodes such that every node in $G$ is contained in the union of a shortest $st$-path and a shortest $ts$-path. The original theorem for DAGs has an application to the $k$-Shortest Paths with Congestion $c$ (($k,c$)-SPC) problem. In this problem, we are given a weighted graph $G$, together with $k$ node pairs $(s_1,t_1),\dots,(s_k,t_k)$, and a positive integer $c\leq k$. We are tasked with finding paths $P_1,\dots, P_k$ such that each $P_i$ is a shortest path from $s_i$ to $t_i$, and every node in the graph is on at most $c$ paths $P_i$, or reporting that no such collection of paths exists. When $c=k$ the problem is easily solved by finding shortest paths for each pair $(s_i,t_i)$ independently. When $c=1$, the $(k,c)$-SPC problem recovers the $k$-Disjoint Shortest Paths ($k$-DSP) problem, where the collection of shortest paths must be node-disjoint. For fixed $k$, $k$-DSP can be solved in polynomial time on DAGs and undirected graphs. Previous work shows that the local-to-global theorem for DAGs implies that $(k,c)$-SPC on DAGs whenever $k-c$ is constant. In the same way, our work implies that $(k,c)$-SPC can be solved in polynomial time on undirected graphs whenever $k-c$ is constant.
Seymour's Second Neighborhood Conjecture for orientations of (pseudo)random graphs
Published • View Publication • BIB
Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.) (i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and (ii) for a uniformly-random orientation of each weakly $(p,A\sqrt{np})$-bijumbled graph of order $n$ and density $p$, where $p=Ω(n^{-1/2})$ and $1-p = Ω(n^{-1/6})$ and $A>0$ is a universal constant independent of both $n$ and $p$. We also show that a.a.s. the SNC holds for almost every orientation of $G(n,p)$. More specifically, we prove that a.a.s. (iii) for all $\varepsilon > 0$ and $p=p(n)$ with $\limsup_{n\to\infty} p \le 2/3-\varepsilon$, every orientation of $G(n,p)$ with minimum outdegree $Ω_\varepsilon(\sqrt{n})$ satisfies the SNC; and (iv) for all $p=p(n)$, a random orientation of $G(n,p)$ satisfies the SNC.
2022-11-12 v2
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
Published in Advances in Applied Mathematics, 152:102595, 2024 • View Publication • BIB
In the context of reconstructing phylogenetic networks from a collection of phylogenetic trees, several characterisations and subsequently algorithms have been established to reconstruct a phylogenetic network that collectively embeds all trees in the input in some minimum way. For many instances however, the resulting network also embeds additional phylogenetic trees that are not part of the input. However, little is known about these inferred trees. In this paper, we explore the relationships among all phylogenetic trees that are embedded in a given phylogenetic network. First, we investigate some combinatorial properties of the collection P of all rooted binary phylogenetic trees that are embedded in a rooted binary phylogenetic network N. To this end, we associated a particular graph G, which we call rSPR graph, with the elements in P and show that, if |P|=2^k, where k is the number of vertices with in-degree two in N, then G has a Hamiltonian cycle. Second, by exploiting rSPR graphs and properties of hypercubes, we turn to the well-studied class of rooted binary level-1 networks and give necessary and sufficient conditions for when a set of rooted binary phylogenetic trees can be embedded in a level-1 network without inferring any additional trees. Lastly, we show how these conditions translate into a polynomial-time algorithm to reconstruct such a network if it exists.
Bounding the Mostar index
Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. They conjectured that $Mo(G)\leq 0.\overline{148}n^3$ for every graph $G$ of order $n$. As a natural upper bound on the Mostar index, Geneson and Tsai implicitly consider the parameter $Mo^\star(G)=\sum\limits_{uv\in E(G)}\big(n-\min\{ d_G(u),d_G(v)\}\big)$. For a graph $G$ of order $n$, they show that $Mo^\star(G)\leq \frac{5}{24}(1+o(1))n^3$. We improve this bound to $Mo^\star(G)\leq \left(\frac{2}{\sqrt{3}}-1\right)n^3$, which is best possible up to terms of lower order. Furthermore, we show that $Mo^\star(G)\leq \left(2\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)-2\left(\fracΔ{n}\right)\sqrt{\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)}\right)n^3$ provided that $G$ has maximum degree $Δ$.
2022-11-12 v2
An Asymptotically Sharp Bound on the Maximum Number of Independent Transversals
Published • View Publication • BIB
Let $G$ be a multipartite graph with partition $V_1, V_2,\ldots, V_k$ of $V(G)$. Let $d_{i,j}$ denote the edge density of the pair $(V_i, V_j)$. An independent transversal is an independent set of $G$ with exactly one vertex in each $V_i$. In this paper, we prove an asymptotically sharp upper bound on the maximum number of independent transversals given the $d_{i,j}$'s.
Graph Irregularity Characterization with Particular Regard to Bidegreed Graphs
Published • View Publication • BIB
In this study we are interested mainly in investigating the relations between two graph irregularity measures which are widely used for structural irregularity characterization of connected graphs. Our study is focused on the comparison and evaluation of the discriminatory ability of irregularity measures called degree deviation S(G) and degree variance Var(G). We establish various upper bounds for irregularity measures S(G) and Var(G). It is shown that the Nikiforov's inequality which is valid for connected graphs can be sharpened in the form of Var(G) < S(G)/2. Among others it is verified that if G is a bidegreed graph then the discrimination ability of S(G) and Var(G) is considered to be completely equivalent.
Decomposition of class II graphs into two class I graphs
Published • View Publication • BIB
Mkrtchyan and Steffen [J. Graph Theory, 70 (4), 473--482, 2012] showed that every class II simple graph can be decomposed into a maximum $Δ$-edge-colorable subgraph and a matching. They further conjectured that every graph $G$ with chromatic index $Δ(G)+k$ ($k\geq 1$) can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph (not necessarily class I) and a $k$-edge-colorable subgraph. In this paper, we first generalize their result to multigraphs and show that every multigraph $G$ with multiplicity $μ$ can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph and a subgraph with maximum degree at most $μ$. Then we prove that every graph $G$ with chromatic index $Δ(G)+k$ can be decomposed into two class I subgraphs $H_1$ and $H_2$ such that $Δ(H_1) = Δ(G)$ and $Δ(H_2) = k$, which is a variation of their conjecture.
2022-11-11 v2
Unavoidable Induced Subgraph of Infinite 2-connected Graphs
Published • View Publication • BIB
In 1930, Ramsey proved that every infinite graph contains either an infinite clique or an infinite independent set as an induced subgraph. König proved that every infinite graph contains either a ray or a vertex of infinite degree. In this paper, we establish the 2-connected analog of these results.
2022-11-10
Remarks on the Quadratic Orthogonal Bisectional Curvature
Published in J. Geom. 113, 39 (2022) • View Publication • BIB
We exhibit a curious link between the Quadratic Orthogonal Bisectional Curvature, combinatorics, and distance geometry. The Weitzenböck curvature operator, acting on real (1,1)--forms, is realized as the Dirichlet energy of a finite graph, weighted by a matrix of the curvature. These results also illuminate the difference in the nature of the Quadratic Orthogonal Bisectional Curvature and the Real Bisectional Curvature.
2022-11-10
On ordered Ramsey numbers of tripartite 3-uniform hypergraphs
Published in SIAM J. Discrete Math. 36 (2022), no. 1, 214-228 • View Publication • BIB
For an integer $k \geq 2$, an ordered $k$-uniform hypergraph $\mathcal{H}=(H,<)$ is a $k$-uniform hypergraph $H$ together with a fixed linear ordering $<$ of its vertex set. The ordered Ramsey number $\overline{R}(\mathcal{H},\mathcal{G})$ of two ordered $k$-uniform hypergraphs $\mathcal{H}$ and $\mathcal{G}$ is the smallest $N \in \mathbb{N}$ such that every red-blue coloring of the hyperedges of the ordered complete $k$-uniform hypergraph $\mathcal{K}^{(k)}_N$ on $N$ vertices contains a blue copy of $\mathcal{H}$ or a red copy of $\mathcal{G}$. The ordered Ramsey numbers are quite extensively studied for ordered graphs, but little is known about ordered hypergraphs of higher uniformity. We provide some of the first nontrivial estimates on ordered Ramsey numbers of ordered 3-uniform hypergraphs. In particular, we prove that for all $d,n \in \mathbb{N}$ and for every ordered $3$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with maximum degree $d$ and with interval chromatic number $3$ there is an $\varepsilon=\varepsilon(d)>0$ such that $$\overline{R}(\mathcal{H},\mathcal{H}) \leq 2^{O(n^{2-\varepsilon})}.$$ In fact, we prove this upper bound for the number $\overline{R}(\mathcal{G},\mathcal{K}^{(3)}_3(n))$, where $\mathcal{G}$ is an ordered 3-uniform hypergraph with $n$ vertices and maximum degree $d$ and $\mathcal{K}^{(3)}_3(n)$ is the ordered complete tripartite hypergraph with consecutive color classes of size $n$. We show that this bound is not far from the truth by proving $\overline{R}(\mathcal{H},\mathcal{K}^{(3)}_3(n)) \geq 2^{Ω(n\log{n})}$ for some fixed ordered $3$-uniform hypergraph $\mathcal{H}$.
2022-11-10 v5
Upper Embeddability of Graphs and Products of Transpositions Associated with Edges
Published • View Publication • BIB
Given a graph, we associate each edge with the transposition which exchanges the endvertices. Fixing a linear order on the edge set, we obtain a permutation of the vertices. Dénes proved that the permutation is a full cyclic permutation for any linear order if and only if the graph is a tree. In this article, we characterize graphs having a linear order such that the associated permutation is a full cyclic permutation in terms of graph embeddings. Moreover, we give a counter example for Eden's question about an edge ordering whose associated permutation is the identity.
2022-11-10
Polyominoes and graphs built from Fibonacci words
Published • View Publication • BIB
We introduce the $k$-bonacci polyominoes, a new family of polyominoes associated with the binary words avoiding $k$ consecutive $1$'s, also called generalized $k$-bonacci words. The polyominoes are very entrancing objects, considered in combinatorics and computer science. The study of polyominoes generates a rich source of combinatorial ideas. In this paper we study some properties of $k$-bonacci polyominoes. Specifically, we determine their recursive structure and, using this structure, we enumerate them according to their area, semiperimeter, and length of the corresponding words. We also introduce the $k$-bonacci graphs, then we obtain the generating functions for the total number of vertices and edges, the distribution of the degrees, and the total number of $k$-bonacci graphs that have a Hamiltonian cycle.
2022-11-10 v3
Signed Graphs and Signed Cycles of Hyperoctahedral Groups
Published • View Publication • BIB
For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from Dénes' results that the permutation of a tree is a full cyclic for any edge ordering. As a corollary, Dénes counted up the number of representations of a full cyclic permutation by means of product of the minimal number of transpositions. Moreover, a graph with an edge ordering which the permutation is a full cyclic is characterized by graph embedding. In this article, we consider an analogy of these results for signed graphs and hyperoctahedral groups. We give a necessary and sufficient condition for a signed graph to have an edge ordering such that the permutation is an even (or odd) full cyclic. We show that the edge ordering of the signed tree with some loops always gives an even (or odd) full cyclic permutation and count up the number of representations of an odd full cyclic permutation by means of product of the minimal number of transpositions.
2022-11-10 v2
Dirac-type Problem of Rainbow matchings and Hamilton cycles in Random Graphs
Given a family of graphs $G_1,\dots,G_{n}$ on the same vertex set $[n]$, a rainbow Hamilton cycle is a Hamilton cycle on $[n]$ such that each $G_c$ contributes exactly one edge. We prove that if $G_1,\dots,G_{n}$ are independent samples of $G(n,p)$ on the same vertex set $[n]$, then for each $\varepsilon>0$, whp, every collection of spanning subgraphs $H_c\subseteq G_c$, with $δ(H_c)\geq(\frac{1}{2}+\varepsilon)np$, admits a rainbow Hamilton cycle. A similar result is proved for rainbow perfect matchings in a family of $n/2$ graphs on the same vertex set $[n]$.
2022-11-10
Greedy trees have minimum Sombor indices
Published in Publ. Inst. Math. 113 (2023) 57-65 • View Publication • BIB
Recently, Gutman [MATCH Commun. Math. Comput. Chem. 86 (2021) 11-16] defined a new graph invariant which is named the Sombor index $\mathrm{SO}(G)$ of a graph $G$ and is computed via the expression \[ \mathrm{SO}(G) = \sum_{u \sim v} \sqrt{\mathrm{deg}(u)^2 + \mathrm{deg}(v)^2} , \] where $\mathrm{deg}(u)$ represents the degree of the vertex $u$ in $G$ and the summing is performed across all the unordered pairs of adjacent vertices $u$ and $v$. Here we take into consideration the set of all the trees $\mathcal{T}_D$ that have a specified degree sequence $D$ and show that the greedy tree attains the minimum Sombor index on the set $\mathcal{T}_D$.