graph
34585 papers tagged with this keyword
Shotgun threshold for sparse Erdős-Rényi graphs
Published
• View Publication
• BIB
In the shotgun assembly problem for a graph, we are given the empirical profile for rooted neighborhoods of depth $r$ (up to isomorphism) for some $r\geq 1$ and we wish to recover the underlying graph up to isomorphism. When the underlying graph is an Erdős-Rényi $\mathcal G(n, \fracλ{n})$, we show that the shotgun assembly threshold $r_* \approx \frac{ \log n}{\log (λ^2 γ_λ)^{-1}}$ where $γ_λ$ is the probability for two independent Poisson-Galton-Watson trees with parameter $λ$ to be rooted isomorphic with each other. Our result sharpens a constant factor in a previous work by Mossel and Ross (2019) and thus solves a question therein.
Counting Cycles on Planar Graphs in Subexponential Time
Published
• View Publication
• BIB
We study the problem of counting all cycles or self-avoiding walks (SAWs) on triangulated planar graphs. We present a subexponential $2^{O(\sqrt{n})}$ time algorithm for this counting problem. Among the technical ingredients used in this algorithm are the planar separator theorem and a delicate analysis using pairs of Motzkin paths and Motzkin numbers. We can then adapt this algorithm to uniformly sample SAWs, in subexponential time. Our work is motivated by the problem of gerrymandered districting maps.
Area, Perimeter, Height, and Width of Rectangle Visibility Graphs
Published
• View Publication
• BIB
A rectangle visibility graph (RVG) is represented by assigning to each vertex a rectangle in the plane with horizontal and vertical sides in such a way that edges in the graph correspond to unobstructed horizontal and vertical lines of sight between their corresponding rectangles. To discretize, we consider only rectangles whose corners have integer coordinates. For any given RVG, we seek a representation with smallest bounding box as measured by its area, perimeter, width, or height (height is assumed not to exceed width).
We derive a number of results regarding these parameters. Using these results, we show that these four measures are distinct, in the sense that there exist graphs $G_1$ and $G_2$ with $area(G_1)<area(G_2)$ but $perimeter(G_2)<perimeter(G_1)$, and analogously for all other pairs of these parameters. We further show that there exists a graph $G_3$ with representations $S_1$ and $S_2$ such that $area(G_3)=area(S_1)<area(S_2)$ but $perimeter(G_3)=perimeter(S_2)<perimeter(S_1)$. In other words, $G_3$ requires distinct representations to minimize area and perimeter. Similarly, such graphs exist to demonstrate the independence of all other pairs of these parameters.
Among graphs with $n \leq 6$ vertices, the empty graph $E_n$ requires largest area. But for graphs with $n=7$ and $n=8$ vertices, we show that the complete graphs $K_7$ and $K_8$ require larger area than $E_7$ and $E_8$, respectively. Using this, we show that for all $n \geq 8$, the empty graph $E_n$ does not have largest height, width, area, or perimeter among all RVGs on $n$ vertices.
Molecular trees with extremal values of the second Sombor index
A new geometric background of graph invariants was introduced by Gutman, of which the simplest is the second Sombor index $SO_2$, defined as $SO_2=SO_2(G)=\sum_{uv\in E}\frac{|d^2_G(u)-d^2_G(v)|}{d^2_G(u)+d^2_G(v)}$, where $G = (V, E)$ is a simple graph and $d_G(v)$ denotes the degree of $v$ in $G$. In this paper, the chemical applicability of the second Sombor index is investigated and it is shown that the the second Sombor index is useful in predicting physicochemical properties with high accuracy compared to some well-established and often used indices. Also, we obtain a bound for the second Sombor index among all (molecular) trees with fixed numbers of vertices, and characterize those molecular trees achieving the extremal value.
Chirality for simple graphs of size up to 12
Published
• View Publication
• BIB
Chirality is one of the important assymmetrical property in wide area of natural science, which has been studied to predict molecular behavior. One of good methods to analyze molecules with complex structures is representing them as graphs embedded in 3-dimensional space. So it is important to study the chirality of spatial graphs to understand structure of chiral molecules. Moreover, Robertson and Seymour's graph minor theorem implies that a set of minor minimal graphs with respect to intrinsic properties is finite. So it is also important to find a complete set of minor minimal graphs for intrinsic properties. In this paper, we classify minor minimal intrinsically chiral graphs among simple graphs of size up to twelve.
Walker-Breaker Games on $G_{n,p}$
Published
• View Publication
• BIB
The Maker-Breaker connectivity game and Hamilton cycle game belong to the best studied games in positional games theory, including results on biased games, games on random graphs and fast winning strategies. Recently, the Connector-Breaker game variant, in which Connector has to claim edges such that her graph stays connected throughout the game, as well as the Walker-Breaker game variant, in which Walker has to claim her edges according to a walk, have received growing attention.
For instance, London and Pluhár studied the threshold bias for the Connector-Breaker connectivity game on a complete graph $K_n$, and showed that there is a big difference between the cases when Maker's bias equals $1$ or $2$. Moreover, a recent result by the first and third author as well as Kirsch shows that the threshold probability $p$ for the $(2:2)$ Connector-Breaker connectivity game on a random graph $G\sim G_{n,p}$ is of order $n^{-2/3+o(1)}$. We extent this result further to Walker-Breaker games and prove that this probability is also enough for Walker to create a Hamilton cycle.
On arrangements of hyperplanes from connected subgraphs
Published
• View Publication
• BIB
We investigate arrangements of hyperplanes whose normal vectors are given by connected subgraphs of a fixed graph. These include the resonance arrangement and certain ideal subarrangements of Weyl arrangements. We characterize those which are free, simplicial, factored, or supersolvable. In particular, such an arrangement is free if and only if the graph is a cycle, a path, an almost path, or a path with a triangle attached to it.
Global Rigidity of Line Constrained Frameworks
Published
• View Publication
• BIB
We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a $d$-dimensional extension of the well-known combinatorial characterisation of 1-dimensional global rigidity.
Sharp Bounds and Precise Values for the $N_i$-Chromatic Number of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected undirected graph.~A vertex coloring $f$ of $G$ is an $N_i$-vertex coloring if for each vertex $x$ in $G$, the number of different colors assigned to $N_G(x)$ is at most $i$.~The $N_i$-chromatic number of $G$, denoted by $t_i(G)$, is the maximum number of colors which are used in an $N_i$-vertex coloring of $G$.
In this paper, we provide sharp bounds for $t_i(G)$ of a graph $G$ in terms of its vertex cover number, maximum degree and diameter, respectively. We also determine precise values for $t_i(G)$ in some cases.
Existence of a percolation threshold on finite transitive graphs
Published
• View Publication
• BIB
Let $(G_n)$ be a sequence of finite connected vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)$ is a percolation threshold if for every $\varepsilon > 0$, the proportion $\left\lVert K_1 \right\rVert$ of vertices contained in the largest cluster under bond percolation $\mathbb{P}_p^G$ satisfies both \[ \begin{split}
\lim_{n \to \infty} \mathbb{P}_{(1+\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 1 \quad \text{for some $α> 0$, and}
\lim_{n \to \infty} \mathbb{P}_{(1-\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 0 \quad \text{for all $α> 0$}. \end{split}\] We prove that $(G_n)$ has a percolation threshold if and only if $(G_n)$ does not contain a particular infinite collection of pathological subsequences of dense graphs. Our argument uses an adaptation of Vanneuville's new proof of the sharpness of the phase transition for infinite graphs via couplings [Van22] together with our recent work with Hutchcroft on the uniqueness of the giant cluster [EH21].
Normality criteria for monomial ideals
Published in Results Math. 78 (2023), no. 1, paper no. 34, 31 pp
• View Publication
• BIB
In this paper we study the normality of monomial ideals using linear programming and graph theory. We give normality criteria for monomial ideals, for ideals generated by monomials of degree two, and for edge ideals of graphs and clutters and their ideals of covers.
Hamiltonian cycles of balanced hypercube with more faulty edges
Published
• View Publication
• BIB
The balanced hypercube $BH_{n}$, a variant of the hypercube, is a novel interconnection network for massive parallel systems. It is known that the balanced hypercube remains Hamiltonian after deleting at most $4n-5$ faulty edges if each vertex is incident with at least two edges in the resulting graph for all $n\geq2$. In this paper, we show that there exists a fault-free Hamiltonian cycle in $BH_{n}$ for $n\ge 2$ with $\left | F \right |\le 5n-7$ if the degree of every vertex in $BH_{n}-F$ is at least two and there exists no $f_{4}$-cycles in $BH_{n}-F$, which improves some known results.
Criteria for toroidal embedding of one-vertex ribbon graphs
The work provides a brief intuitive overview theory of graph on surfaces. We considers graphs with an additional structure, wich we call discs with ribbons, also known as one-vertex ribbon graphs. And solves the problem (Skopenkov's) about criteria for toroidal embedding of one-vertex ribbon graph.
Normal $2$-coverings of the finite simple groups and their generalizations
Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$.
We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception.
We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group.
On decomposing multigraphs into locally irregular submultigraphs
Published
• View Publication
• BIB
A locally irregular multigraph is a multigraph whose adjacent vertices have distinct degrees. The locally irregular edge coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of $G$. We say that a multigraph $G$ is locally irregular colorable if it admits a locally irregular edge coloring and we denote by ${\rm lir}(G)$ the locally irregular chromatic index of $G$, which is the smallest number of colors required in a locally irregular edge coloring of a locally irregular colorable multigraph $G$. We conjecture that for every connected graph $G$, which is not isomorphic to $K_2$, multigraph $^2G$ obtained from $G$ by doubling each edge admits ${\rm lir}(^2G)\leq 2$. This concept is closely related to the well known 1-2-3 Conjecture, Local Irregularity Conjecture, (2, 2) Conjecture and other similar problems concerning edge colorings. We show this conjecture holds for graph classes like paths, cycles, wheels, complete graphs, complete $k$-partite graphs and bipartite graphs. We also prove the general bound for locally irregular chromatic index for all 2-multigraphs using our result for bipartite graphs.
Recognizing well-dominated graphs is coNP-complete
Published
• View Publication
• BIB
A graph $G$ is well-covered if every minimal vertex cover of $G$ is minimum, and a graph $G$ is well-dominated if every minimal dominating set of $G$ is minimum. Studies on well-covered graphs were initiated in [Plummer, JCT 1970], and well-dominated graphs were first introduced in [Finbow, Hartnell and Nowakow, AC 1988]. Well-dominated graphs are well-covered, and both classes have been widely studied in the literature. The recognition of well-covered graphs was proved coNP-complete by [Chvátal and Slater, AODM 1993] and by [Sankaranarayana and Stewart, Networks 1992], but the complexity of recognizing well-dominated graphs has been left open since their introduction. We close this complexity gap by proving that recognizing well-dominated graphs is coNP-complete. This solves a well-known open question (c.f. [Levit and Tankus, DM 2017] and [Gözüpek, Hujdurovic and Milanič, DMTCS 2017]), which was first asked in [Caro, Sebő and Tarsi, JAlg 1996]. Surprisingly, our proof is quite simple, although it was a long-standing open problem. Finally, we show that recognizing well-totally-dominated graphs is coNP-complete, answering a question of [Bahad\ir, Ekim, and Gözüpek, AMC 2021].
Irrational quantum walks
Published
• View Publication
• BIB
The adjacency matrix of a graph G is the Hamiltonian for a continuous-time quantum walk on the vertices of G. Although the entries of the adjacency matrix are integers, its eigenvalues are generally irrational and, because of this, the behaviour of the walk is typically not periodic. In consequence we can usually only compute numerical approximations to parameters of the walk. In this paper, we develop theory to exactly study any quantum walk generated by an integral Hamiltonian. As a result, we provide exact methods to compute the average of the mixing matrices, and to decide whether pretty good (or almost) perfect state transfer occurs in a given graph. We also use our methods to study geometric properties of beautiful curves arising from entries of the quantum walk matrix, and discuss possible applications of these results.
Computing the strong metric dimension for co-maximal ideal graphs of commutative rings
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity. The co-maximal ideal graph of $R$, denoted by $Γ(R)$, is a simple graph whose vertices are proper ideals of $R$ which are not contained in the Jacobson radical of $R$ and two distinct vertices $I, J$ are adjacent if and only if $I+J=R$. In this paper, we use Gallai$^{^,}$s Theorem and the concept of strong resolving graph to compute the strong metric dimension for co-maximal ideal graphs of commutative rings. Explicit formulae for the strong metric dimension, depending on whether the ring is reduced or not, are established.
CSGO: Constrained-Softassign Gradient Optimization For Large Graph Matching
Published
• View Publication
• BIB
Graph matching aims to find correspondences between two graphs. This paper integrates several well-known graph matching algorithms into a framework: the constrained gradient method. The primary difference among these algorithms lies in tuning a step size parameter and constraining operators. By leveraging these insights, we propose an adaptive step size parameter to guarantee the underlying algorithms' convergence, simultaneously enhancing their efficiency and robustness. For the constraining operator, we introduce a scalable softassign for large graph matching problems. Compared to the original softassign, our approach offers increased speed, improved robustness, and reduced risk of overflow. The advanced constraining operator enables a CSGO for large graph matching, which outperforms state-of-the-art methods in experiments. Notably, in attributed graph matching tasks, CSGO achieves an over 10X increase in speed compared to current constrained gradient algorithms.
The distinguishing index of graphs with infinite minimum degree
Published
• View Publication
• BIB
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colors necessary to obtain an edge coloring of $G$ that is preserved only by the trivial automorphism. We show that if $G$ is a connected $α$-regular graph for some infinite cardinal $α$ then $D'(G) \le 2$, proving a conjecture of Lehner, Pilśniak, and Stawiski. We also show that if $G$ is a graph with infinite minimum degree and at most $2^α$ vertices of degree $α$ for every infinite cardinal $α$, then $D'(G) \le 3$. In particular, $D'(G) \le 3$ if $G$ has infinite minimum degree and order at most $2^{\aleph_0}$.