graph
34516 papers tagged with this keyword
Some Examples of Graphs Suggesting That the Discrete Curvature Does Sense the Smooth One
In this note, using some regular triangular tilings of the sphere, the Euclidean plane and the hyperbolic plane, we examine the potential relationship between their discrete Bakry - Emery curvatures and the smooth curvatures of their ambient space forms.
Node-Kayles on Trees
Node-Kayles is a well-known impartial combinatorial game played on graphs, where players alternately select a vertex and remove it along with its neighbors. By the Sprague-Grundy theorem, every position of an impartial game corresponds to a non-negative integer called its Grundy value. In this paper, we investigate the Grundy value sequences of $n$-regular trees as well as graphs formed by joining two $n$-regular trees with a path of length $k$. We derive explicit formulas and recursive relations for the associated Grundy value sequences. Furthermore, we prove that these sequences are eventually periodic and determine both their preperiod lengths and their periods.
Simple factor graphs associated with split graphs
We introduce and study a loopless multigraph associated with a split graph $S$: the factor graph of $S$, denoted by $Φ(S)$, which encodes the combinatorial information about 2-switch transformations over $S$. This construction provides a cleaner, compact and non-redundant alternative to the graph $A_4(S)$ by Barrus and West, for the particular case of split graphs. If $Φ(S)$ is simple and connected, we obtain a precise description of the underlying structure of $S$, particularly when $Φ(S)$ is complete, highlighting the usefulness of the factor graph for understanding 2-switch dynamics in balanced and indecomposable split graphs, as well as its 2-switch-degree classification.
Quasi Neighborhood Balanced Coloring of Graphs
For a simple graph G = (V, E), a coloring of vertices of G using two colors, say red and blue, is called a quasi neighborhood balanced coloring if, for every vertex of the graph, the number of red neighbors and the number of blue neighbors differ by at most one. In addition, there must be at least one vertex in G for which this difference is exactly one. If a graph G admits such a colouring, then G is said to be a quasi-neighbourhood balanced colored graph. We also define variants of such a coloring, like uniform quasi neighborhood balanced coloring, positive quasi neighborhood balanced coloring and negative quasi neighborhood balanced coloring based on the color of the extra neighbor of every vertex of odd degree of the graph G. We present several examples of graph classes that admit the various variants of quasi neighborhood balanced coloring. We also discuss various graph operations involving such graphs. Furthermore, we prove that there is no forbidden subgraph characterization for the class of quasi neighborhood balanced coloring and show that the problem of determining whether a given graph has such a coloring is NP-complete.
The non-backtracking transition probability matrix and its usage for node clustering
Relation between the real eigenvalues of the non-backtracking matrix and those of the non-backtracking Laplacian is considered with respect to node clustering. For this purpose we use the real eigenvalues of the transition probability matrix (when the random walk goes through the oriented edges with the rule of ``not going back in the next step'') which have a linear relation to those of the non-backtracking Laplacian of Jost and Mulas. ``Inflation--deflation'' techniques are also developed for clustering the nodes of the non-backtracking graph. With further processing, it leads to the clustering of the nodes of the original graph, which usually comes from a sparse stochastic block model of Bordenave and Decelle.
Skein relations on punctured surfaces
This thesis studies skein relations in cluster algebras arising from punctured surfaces. We introduce skein-type identities expressing cluster variables associated with incompatible curves on a surface in terms of cluster variables corresponding to compatible arcs. Incompatibility arises from phenomena such as intersections, self-intersections, and opposite taggings at punctures. To establish these identities, we develop a combinatorial-algebraic framework that relates loop graphs to certain representations. These skein relations can then be applied to investigate structural properties of cluster algebras from punctured surfaces. In particular, they can be used to prove the existence of bases satisfying natural positivity and compatibility conditions. This extends existing work on surface cluster algebras by incorporating punctures in the interior of the surface, thereby enlarging the class of cluster algebras for which such skein relations and bases can be constructed.
$x$ Plays Pokemon, for Almost-Every $x$
This paper provides a brief write-up showing that for any finite state game, a disjunctive number $x$ will eventually win that game. The proof techniques here are well known and this result follows immediately from folklore results in graph theory and cellular automata. This short paper primarily serves as an expositional piece to collect this proof with the fun context of $π$ Plays Pokémon serving as motivation.
Graph Limits via Quotients
We present a new notion of limits of weighted directed graphs of growing size based on convergence of their random quotients. These limits are specified in terms of random exchangeable measures on the unit square. We call our limits grapheurs and show that these are dual to graphons in a precise sense. Grapheurs are well-suited to modeling global structure in large graphs such as hubs and connections between them; previous notions of graph limits based on subgraph densities fail to adequately model such global structure as subgraphs are inherently local. Using our framework, we characterize properties of large graphs that are continuous with respect to our limits and present an edge-based sampling approach for testing them. This method relies on an edge-based analog of the Szemerédi regularity lemma, whereby we show that sampling a constant number of edges from an arbitrarily-large graph approximately preserves its quotients. Finally, we observe that the random quotients of a graph are related to each other by equipartitions, and we conclude with a characterization of such random graph models.
On extremal graphs with respect to the ABS index
Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.
Extremal $ABS$ Spectral Radius in Bicyclic and Bipartite Unicyclic Graphs
The ABS spectral radius of a graph G is defined as the largest eigenvalue of its $ABS$ matrix. Motivated by recent studies on this parameter, in this paper, we determine the bipartite unicyclic graphs that attain the largest $ABS$ spectral radius. Furthermore, we characterize the bicyclic graphs that attain the largest and the second largest $ABS$ spectral radii.
Chamber zeta function and closed galleries in the standard non-uniform complex from $\operatorname{PGL}_3$
We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.
Extremal results on Berge disjoint paths
The well-known Erdős-Gallai Theorem gave the Turán number of paths. Bushaw and Kettle generalized this result to consider the Turán number of disjoint paths. Since then, many studies are focused on the Turán number of linear forest. For a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a $\text{Berge-} F$ if there is a bijection $φ: E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. When $F$ is a path, we call $\text{Berge-} F$ a Berge path. The Turán number of Berge paths was initially studied by Győri, Katona and Lemons. They gave the value of $\text{ex}_r(n,\text{Berge-}P_\ell)$ for $\ell>r+1$. This result is a generalization of Erdős-Galli Theorem. Since then, the Turán number of Berge paths has received widespread attention.
Recently, Zhou, Gerbner and Yuan initially studied the Turán number of Berge disjoint paths and for the cases when all the paths have odd length. In this paper, we give a more general result, which gives the exact value of $\mathrm{ex}_r(n,\text{Berge-} kP_{\ell})$ for all $k\geq 2$, $r\ge 3$, and $\ell\geq r+7$.
Identifying faulty edges in resistive electrical networks
Given a resistive electrical network, we would like to determine whether all the resistances (edges) in the network are working, and if not, identify which edge (or edges) are faulty. To make this determination, we are allowed to measure the effective resistance between certain pairs of nodes (which can be done by measuring the amount of current when one unit of voltage difference is applied at the chosen pair of nodes). The goal is to determine which edge, if any, is not working in the network using the smallest number of measurements. We prove rigorous upper and lower bounds on this optimal number of measurements for different classes of graphs. These bounds are tight for several of these classes showing that our measurement strategies are optimal.
Coloring Hardness on Low Twin-Width Graphs
As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively.
We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored.
In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths
During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.
Hoffman-London graphs: When paths minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular, extremal questions of maximizing and minimizing $\hom(G,H)$ have been considered when $H$ is a clique or $G$ is a tree.
In this paper, we develop a new technique using automorphisms of $H$ to show that $\hom(T,H)$ is minimized by paths as $T$ varies over trees on a fixed number of vertices. We introduce the term Hoffman-London to refer to graphs that are minimal in this sense. In particular, we define an automorphic similarity matrix which is used to compute $\hom(T,H)$ and give matrix conditions under which $H$ is Hoffman-London.
We then apply this technique to identify several families of graphs that are Hoffman-London, including loop threshold graphs and some with applications in statistical physics (e.g. the Widom-Rowlinson model). By combining our approach with a few other observations, we fully characterize the minimizing trees for all graphs $H$ on three or fewer vertices.
Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
We study the question of the least number of random edges that need to be added to a Pósa-Seymour graph, that is, a graph with minimum degree exceeding $\frac k{k+1}n$, to secure the existence of the $m$-th power of a Hamiltonian cycle, $m>k$. It turns out that, depending on $k$ and $m$, this quantity may be captured by two types of thresholds, with one of them, called over-threshold, becoming dominant for large $m$. Indeed, for each $k\ge2$ and $m>m_0(k)$, we establish asymptotically tight lower and upper bounds on the over-thresholds (provided they exist) and show that for infinitely many instances of $m$ the two bounds coincide. In addition, we also determine the thresholds for some small values of $k$ and $m$.
Tree-independence number VII. Excluding a star
We prove that for every fixed integer $s$ and every planar graph $H$, the class of $H$-induced-minor-free and $K_{1,s}$-induced-subgraph-free graphs has polylogarithmic tree-independence number. This is a weakening of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.
Graphs with large maximum forcing number
For a graph $G$ with order $2n$ and a perfect matching, let $f(G)$ and $F(G)$ denote the minimum and maximum forcing number of $G$ respectively. Then $0\leq f(G)\leq F(G)\leq n-1$. Liu and Zhang [10] ever proposed a conjecture: $e(G)\geq \frac{n^2}{n-F(G)}$, where $e(G)$ denotes the number of edges of $G$. In this paper we confirm this conjecture and obtain $F(G)\leq n-\frac{n^2}{e(G)}$. If $F(G)=n-1$, Liu and Zhang [9] proved that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along 4-cycles. If $G$ is bipartite and $F(G)\geq n-k$, $1\leq k\leq n-1$, we show that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along even cycles of length at most $2(k+1)$. Finally, we ask whether $f(G)\geq \lceil\frac{n}{k}\rceil-1$ holds for such bipartite graphs $G$, and give positive answers for the cases $k=1,2$. Further we show all minimum forcing numbers of the bipartite graphs $G$ of order $2n$ and with $F(G)=n-2$ form an integer interval $[\lfloor\frac{n}{2}\rfloor, n-2]$.