graph
34516 papers tagged with this keyword
Hamilton cycles in vertex-transitive graphs of order $6p$
It was shown by Kutnar and \v Sparl in 2009 that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path. In this paper, it will be shown that every such graph contains a Hamilton cycle, except for the triangle-replaced graph of the Petersen graph.
Multi-Virtual Knot Theory
This paper discusses a generalization of virtual knot theory that we call multi-virtual knot theory. Multi-virtual knot theory uses a multiplicity of types of virtual crossings. As we will explain, this multiplicity is motivated by the way it arises first in a graph-theoretic setting in relation to generalizing the Penrose evaluation for colorings of planar trivalent graphs to all trivalent graphs, and later by its uses in a virtual knot theory. As a consequence, the paper begins with the graph theory as a basis for our constructions, and then proceeds to the topology of multi-virtual knots and links. The second section of the paper is a review of our previous work (See arXiv:1511.06844). The reader interested in seeing our generalizations of the original Penrose evaluation, can begin this paper at the beginning and see the graph theory. A reader primarily interested in multi-virtual knots and links can begin reading in section 4 with references to the earlier part of the paper.
Asymptotic depth of invariant chains of edge ideals
We completely determine the asymptotic depth, equivalently, the asymptotic projective dimension of a chain of edge ideals that is invariant under the action of the monoid Inc of increasing functions on the positive integers. Our results and their proofs also reveal surprising combinatorial and topological properties of corresponding graphs and their independence complexes. In particular, we are able to determine the asymptotic behavior of all reduced homology groups of these independence complexes.
Gallai's Path Decomposition of Levi Graph
Gallai's path decomposition conjecture states that for a connected graph $G$ on $n$ vertices, there exists a path decomposition of size $\lceil \frac{n}{2} \rceil$. The Levi graph of order one, denoted by $L_{1}(m,k)$, is a bipartite graph with vertex partition $(A,B)$, where $A$ is the collection of all $(k-1)$-element subsets of $[m]$, and $B$ is the collection of all $k$-element subsets of $[m]$. In this graph, a $(k-1)$-element subset is adjacent to a $k$-element subset if and only if it is properly contained within the $k$-element subset. The path number of a graph $G$ is the minimum size of its path decomposition. Gallai's conjecture can be seen as a conjecture on the upper bound of the path number of a connected graph. In this work, we prove the conjecture for $L_{1}(m,k)$ for all $m \ge 2 $ and $2 \le k \le m$. Moreover, we determine the path number of $L_{1}(m,2)$ for all $m$.
Curvature and local matchings of conference graphs and extensions
We prove a conjecture of Bonini et al. on the precise values of the Lin--Lu--Yau curvature of conference graphs, i.e., strongly regular graphs with parameters $(4γ+1,2γ,γ-1,γ)$. Our method depends only on the parameter relations and applies to broader classes of amply regular graphs. In particular, we develop a new combinatorial approach to show the existence of local perfect matchings. A key observation is that counting common neighbors leads to useful quadratic polynomials. As a corollary, we derive an interesting number-theoretic result concerning quadratic residues.
Borel Order Dimension
We introduce and study a notion of Borel order dimension for Borel quasi orders. It will be shown that this notion is closely related to the notion of Borel dichromatic number for simple directed graphs. We prove a dichotomy, which generalizes the ${\GGG}_{0}$-dichotomy, for the Borel dichromatic number of Borel simple directed graphs. By applying this dichotomy to Borel quasi orders, another dichotomy that characterizes the Borel quasi orders of uncountable Borel dimension is proved. We obtain further structural information about the Borel quasi orders of countable Borel dimension by showing that they are all Borel linearizable. We then investigate the locally countable Borel quasi orders in more detail, paying special attention to the Turing degrees, and produce models of set theory where the continuum is arbitrarily large and all locally countable Borel quasi orders are of Borel dimension less than the continuum. Combining our results here with earlier work shows that the Borel order dimension of the Turing degrees is usually strictly larger than its classical order dimension.
On the oriented diameter of graphs with given minimum degree
Erdős, Pach, Pollack, and Tuza [\textit{J. Combin. Theory Ser. B, 47(1) (1989), 73-79}] proved that the diameter of a connected $n$-vertex graph with minimum degree $δ$ is at most $\frac{3n}{δ+1}+O(1)$. The oriented diameter of an undirected graph $G$, denoted by $\overrightarrow{\text{diam}}(G)$, is the minimum diameter of a strongly connected orientation of $G$. Bau and Dankelmann [\textit{European J. Combin., 49 (2015), 126-133}] showed that for every bridgeless $n$-vertex graph $G$ with minimum degree $δ$, $\overrightarrow{\text{diam}}(G) \leq \frac{11n}{δ+1}+9$. They also showed an infinite family of graphs with oriented diameter at least $\frac{3n}{δ+1} + O(1)$ and posed the problem of determining the smallest possible value $c$ for which $\overrightarrow{\text{diam}}(G) \leq c \cdot\frac{3n}{δ+1}+O(1)$ holds. In this paper, we show that the smallest value $c$ such that the upper bound above holds for all $δ\geq 2$ is $1$, which is best possible.
A Systematic Approach to Crossing Numbers of Cartesian Products with Paths
Determining the crossing numbers of Cartesian products of small graphs with arbitrarily large paths has been an ongoing topic of research since the 1970s. Doing so requires the establishment of coincident upper and lower bounds; the former is usually demonstrated by providing a suitable drawing procedure, while the latter often requires substantial theoretical arguments. Many such papers have been published, which typically focus on just one or two small graphs at a time, and use ad hoc arguments specific to those graphs. We propose a general approach which, when successful, establishes the required lower bound. This approach can be applied to the Cartesian product of any graph with arbitrarily large paths, and in each case involves solving a modified version of the crossing number problem on a finite number (typically only two or three) of small graphs. We demonstrate the potency of this approach by applying it to Cartesian products involving all 133 graphs $G$ of orders five or six, and show that it is successful in 128 cases. This includes 60 cases which a recent survey listed as either undetermined, or determined only in journals without adequate peer review.
Analogues of Bermond-Bollobás Conjecture for Cages Yield Expander Families
This paper presents a possible link between Cages and Expander Graphs by introducing three interconnected variants of the Bermond and Bollobás Conjecture, originally formulated in 1981 within the context of the Degree/Diameter Problem. We adapt these conjectures to cages, with the most robust variant posed as follows: Does there exist a constant $c$ such that for every pair of parameters $(k,g)$ there exists a $k$-regular graph of girth $g$ and order not exceeding $ M(k,g) + c $?; where $M(k,g)$ denotes the value of the so-called Moore bound for cages. We show that a positive answer to any of the three variants of the Bermond and Bollobás Conjecture for cages considered in our paper would yield expander graphs (expander families); thereby establishing a connection between Cages and Expander Graphs.
Random embeddings of bounded degree trees with optimal spread
A seminal result of Komlós, Sárközy, and Szemerédi states that any n-vertex graph G with minimum degree at least (1/2 + α)n contains every n-vertex tree T of bounded degree. Recently, Pham, Sah, Sawhney, and Simkin extended this result to show that such graphs G in fact support an optimally spread distribution on copies of a given T, which implies, using the recent breakthroughs on the Kahn-Kalai conjecture, the robustness result that T is a subgraph of sparse random subgraphs of G as well. Pham, Sah, Sawhney, and Simkin construct their optimally spread distribution by following closely the original proof of the Komlós-Sárközy-Szemerédi theorem which uses the blow-up lemma and the Szemerédi regularity lemma. We give an alternative, regularity-free construction that instead uses the Komlós-Sárközy-Szemerédi theorem (which has a regularity-free proof due to Kathapurkar and Montgomery) as a black-box. Our proof is based on the simple and general insight that, if G has linear minimum degree, almost all constant sized subgraphs of G inherit the same minimum degree condition that G has.
Induced subgraphs of $K_r$-free graphs and the Erdős--Rogers problem
For two graphs $F,H$ and a positive integer $n$, the function $f_{F,H}(n)$ denotes the largest $m$ such that every $H$-free graph on $n$ vertices contains an $F$-free induced subgraph on $m$ vertices. This function has been extensively studied in the last 60 years when $F$ and $H$ are cliques and became known as the Erdős-Rogers function. Recently, Balogh, Chen and Luo, and Mubayi and Verstraëte initiated the systematic study of this function in the case where $F$ is a general graph.
Answering, in a strong form, a question of Mubayi and Verstraëte, we prove that for every positive integer $r$ and every $K_{r-1}$-free graph $F$, there exists some $\varepsilon_F>0$ such that $f_{F,K_r}(n)=O(n^{1/2-\varepsilon_F})$. This result is tight in two ways. Firstly, it is no longer true if $F$ contains $K_{r-1}$ as a subgraph. Secondly, we show that for all $r\geq 4$ and $\varepsilon>0$, there exists a $K_{r-1}$-free graph $F$ for which $f_{F,K_r}(n)=Ω(n^{1/2-\varepsilon})$. Along the way of proving this, we show in particular that for every graph $F$ with minimum degree $t$, we have $f_{F,K_4}(n)=Ω(n^{1/2-6/\sqrt{t}})$. This answers (in a strong form) another question of Mubayi and Verstraëte. Finally, we prove that there exist absolute constants $0<c<C$ such that for each $r\geq 4$, if $F$ is a bipartite graph with sufficiently large minimum degree, then $Ω(n^{\frac{c}{\log r}})\leq f_{F,K_r}(n)\leq O(n^{\frac{C}{\log r}})$. This shows that for graphs $F$ with large minimum degree, the behaviour of $f_{F,K_r}(n)$ is drastically different from that of the corresponding off-diagonal Ramsey number $f_{K_2,K_r}(n)$.
The Converse of the Real Orthogonal Holant Theorem
The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very powerful counting indistinguishability theorem. The most general converse does not hold, but we prove the following, still highly general, version: if any two sets of real-valued signatures are Holant-indistinguishable, then they are equivalent up to an orthogonal transformation. This resolves a partially open conjecture of Xia (2010). Consequences of this theorem include the well-known result that homomorphism counts from all graphs determine a graph up to isomorphism, the classical sufficient condition for simultaneous orthogonal similarity of sets of real matrices, and a combinatorial characterization of simultaneosly orthogonally decomposable (odeco) sets of symmetric tensors.
Fault Tolerant Metric Dimensions of Leafless Cacti Graphs with Application in Supply Chain Management
A resolving set for a simple graph $G$ is a subset of vertex set of $G$ such that it distinguishes all vertices of $G$ using the shortest distance from this subset. This subset is a metric basis if it is the smallest set with this property. A resolving set is a fault tolerant resolving set if the removal of any vertex from the subset still leaves it a resolving set. The smallest set satisfying this property is the fault tolerant metric basis, and the cardinality of this set is termed as fault tolerant metric dimension of $G$, denoted by $β'(G)$. In this article, we determine the fault tolerant metric dimension of bicyclic graphs of type-I and II and show that it is always $4$ for both types of graphs. We then use these results to form our basis to consider leafless cacti graphs, and calculate their fault tolerant metric dimensions in terms of \textit{inner cycles} and \textit{outer cycles}. We then consider a detailed real world example of supply and distribution center management, and discuss the application of fault tolerant metric dimension in such a scenario. We also briefly discuss some other scenarios where leafless cacti graphs can be used to model real world problems.
Infinitely many minimally non-Ramsey size-linear graphs
A graph $G$ is said to be Ramsey size-linear if $r(G,H) =O_G (e(H))$ for every graph $H$ with no isolated vertices. Erdős, Faudree, Rousseau, and Schelp observed that $K_4$ is not Ramsey size-linear, but each of its proper subgraphs is, and they asked whether there exist infinitely many such graphs. In this short note, we answer this question in the affirmative.
The k-general d-position problem for graphs
A set of vertices of a graph is said to be in general position if no three vertices from the set lie on a common geodesic. Recently Klavžar, Rall and Yero generalized this notion by defining a set of vertices to be in general $d$-position if no three vertices from the set lie on a common geodesic of length at most $d$. We generalize this notion further by defining a set of vertices to be in $k$-general $d$-position if no $k$ vertices of the set lie on a common geodesic of length at most $d$. The $k$-general $d$-position number of a graph is the largest cardinality of a $k$-general $d$-position set. We provide upper and lower bounds on the $k$-general $d$-position number of graphs in terms of the $k$-general $d$-position number of certain kinds of subgraphs. We compute the $k$-general $d$-position number of finite paths and cycles. Along the way we establish that the maximally even subsets of cycles, which were introduced in Clough and Douthett's work on music theory, provide the largest possible $k$-general $d$-position sets in $n$-cycles. We generalize Klavžar and Manuel's notion of monotone-geodesic labeling to that of $k$-monotone-geodesic labeling in order to calculate the $k$-general $d$-position number of the infinite two-dimensional grid. We also prove a formula for the $k$-general $d$-position number of certain thin finite grids, providing a partial answer to a question asked by Klavžar, Rall and Yero.
Large planar $(n,m)$-cliques
An \textit{$(n,m)$-graph} $G$ is a graph having both arcs and edges, and its arcs (resp., edges) are labeled using one of the $n$ (resp., $m$) different symbols. An \textit{$(n,m)$-complete graph} $G$ is an $(n,m)$-graph without loops or multiple edges in its underlying graph such that identifying any pair of vertices results in a loop or parallel adjacencies with distinct labels. We show that a planar $(n,m)$-complete graph cannot have more than $3(2n+m)^2+(2n+m)+1$ vertices, for all $(n,m) \neq (0,1)$ and that the bound is tight. This positively settles a conjecture by Bensmail \textit{et al.}~[Graphs and Combinatorics 2017].
Spectral and Homological Bounds on k-Component Edge Connectivity
We present a novel theoretical framework connecting k-component edge connectivity with spectral graph theory and homology theory to pro vide new insights into the resilience of real-world networks. By extending classical edge connectivity to higher-dimensional simplicial complexes, we derive tight spectral-homological bounds on the minimum number of edges that must be removed to ensure that all remaining components in the graph have size less than k. These bounds relate the spectra of graph and simplicial Laplacians to topological invariants from homology, establishing a multi-dimensional measure of network robustness. Our framework improves the understanding of network resilience in critical systems such as the Western U.S. power grid and European rail network, and we extend our analysis to random graphs and expander graphs to demonstrate the broad applicability of the method. Keywords: k-component edge connectivity, spectral graph theory, homology, simplicial complexes, network resilience, Betti numbers, algebraic connectivity, random graphs, expander graphs, infrastructure systems
Square-free powers of Cohen-Macaulay forests, cycles, and whiskered cycles
Let $I(G)^{[k]}$ denote the $k^{th}$ square-free power of the edge ideal $I(G)$ of a graph $G$. In this article, we provide a precise formula for the depth of $I(G)^{[k]}$ when $G$ is a Cohen-Macaulay forest. Using this, we show that for a Cohen-Macaulay forest $G$, the $k^{th}$ square-free power of $I(G)$ is always Cohen-Macaulay, which is quite surprising since all ordinary powers of $I(G)$ can never be Cohen-Macaulay unless $G$ is a disjoint union of edges. Next, we give an exact formula for the regularity and tight bounds on the depth of square-free powers of edge ideals of cycles. In the case of whiskered cycles, we obtain tight bounds on the regularity and depth of square-free powers, which aids in identifying when such ideals have linear resolutions. Additionally, we compute depth of $I(G)^{[2]}$ when $G$ is a cycle or whiskered cycle, and regularity of $I(G)^{[2]}$ when $G$ is a whiskered cycle.
Reconstructing semi-directed level-1 networks using few quarnets
Published
• View Publication
• BIB
Semi-directed networks are partially directed graphs that model evolution where the directed edges represent reticulate evolutionary events. We present an algorithm that reconstructs binary $n$-leaf semi-directed level-1 networks in $O( n^2)$ time from its quarnets (4-leaf subnetworks). Our method assumes we have direct access to all quarnets, yet uses only an asymptotically optimal number of $O(n \log n)$ quarnets. When the network is assumed to contain no triangles, our method instead relies only on four-cycle quarnets and the splits of the other quarnets. A variant of our algorithm works with quartets rather than quarnets and we show that it reconstructs most of a semi-directed level-1 network from an asymptotically optimal $O(n \log n)$ of the quartets it displays. Additionally, we provide an $O(n^3)$ time algorithm that reconstructs the tree-of-blobs of any binary $n$-leaf semi-directed network with unbounded level from $O(n^3)$ splits of its quarnets.
Counting List Colorings of Unlabeled Graphs
The classic enumerative functions for counting colorings of a graph $G$, such as the chromatic polynomial $P(G,k)$, do so under the assumption that the given graph is labeled. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph $\mathcal{G}$, $P(\mathcal{G}, k)$. Determining $P(\mathcal{G}, k)$ amounts to counting colorings under the action of automorphisms of $\mathcal{G}$. In this paper, we consider the problem of counting list colorings of unlabeled graphs. We extend Hanlon's definition to the list context and define the unlabeled list color function, $P_\ell(\mathcal{G}, k)$, of an unlabeled graph $\mathcal{G}$. In this context, we pursue a fundamental question whose analogues have driven much of the research on counting list colorings and its generalizations: For a given unlabeled graph $\mathcal{G}$, does $P_\ell(\mathcal{G}, k) = P(\mathcal{G}, k)$ when $k$ is large enough? We show the answer to this question is yes for a large class of unlabeled graphs that include point-determining graphs (also known as twin-free graphs, irreducible graphs, and mating graphs).