graph
34516 papers tagged with this keyword
Decision problem on interactions
An interaction is a certain symmetric graph that describes the possible transition of states of adjacent sites of large-scale interacting systems. In the series of studies Bannai-Kametani-Sasada arXiv:2009.04699, Bannai-Sasada arXiv:2111.08934, they defined the notion of the irreducibly quantified interactions which is suitable for considering the hydrodynamic limits via the conserved quantities. In this paper, we prove that the property that an interaction is irreducibly quantified is decidable.
Cayley graphs on symmetric groups generated by $n$-cycles are hyperenergetic
Let $Γ$ be a simple graph with $n$ vertices. The energy of $Γ$, denoted by $\mathcal{E}(Γ)$, is defined as the sum of the absolute values of the eigenvalues of $Γ$. The graph $Γ$ is said to be hyperenergetic if $\mathcal{E}(Γ)>2n-2$. For the graph $Γ$, the multiplicity of the eigenvalue $0$, denoted by $η(Γ)$, is called the nullity of $Γ$. In this paper, we show that for every positive integer $n\geq 4$, the Cayley graph $Γ_n$ on the symmetric group $\mathrm{Sym}(n)$ generated by $n$-cycles is an integral hyperenergetic graph with $\mathcal{E}(Γ_n)=2^{n-1}(n-1)!$ and $η(Γ_n)=n!-\binom{2n-2}{n-1}$.
Characterizations of the graphs with dominating parameters
A subset $S$ of vertices of $G$ is a \textit{dominating set} of $G$ if every vertex in $V(G)-S$ has a neighbor in $S$. The \textit{domination number} \(γ(G)\) is the minimum cardinality of a dominating set of $G$. A dominating set $S$ is a \textit{total dominating set} if $N(S)$=$V$ where $N(S)$ is the neighbor of $S$. The \textit{total domination number} \(γ_t(G)\) equals the minimum cardinality of a total dominating set of $G$. A set $D$ is an \textit{isolate set} if the induced subgragh $G[D]$ has at least one isolated vertex. The \textit{isolate number} \(i_0(G)\) is the minimum cardinality of a maximal isolate set. In this paper we study these parameters and answer open problems proposed by Hamid et al. in 2016.
Entropy and the growth rate of universal covering trees
This work studies the relation between two graph parameters, $ρ$ and $Λ$. For an undirected graph $G$, $ρ(G)$ is the growth rate of its universal covering tree, while $Λ(G)$ is a weighted geometric average of the vertex degree minus one, corresponding to the rate of entropy growth for the non-backtracking random walk (NBRW). It is well known that $ρ(G) \geq Λ(G)$ for all graphs, and that graphs with $ρ=Λ$ exhibit some special properties. In this work we derive an easy to check, necessary and sufficient condition for the equality to hold. Furthermore, we show that the variance of the number of random bits used by a length $\ell$ NBRW is $O(1)$ if $ρ= Λ$ and $Ω(\ell)$ if $ρ> Λ$. As a consequence we exhibit infinitely many non-trivial examples of graphs with $ρ= Λ$.
Computing eulerian magnitude homology
In this paper tackle the problem of computing the ranks of certain eulerian magnitude homology groups of a graph G. First, we analyze the computational cost of our problem and prove that it is #W[1]-complete. Then we develop the first diagonal algorithm, a breadth-first-search-based algorithm parameterized by the diameter of the graph to calculate the ranks of the homology groups of interest. To do this, we leverage the close relationship between the combinatorics of the homology boundary map and the substructures appearing in the graph. We then discuss the feasibility of the presented algorithm and consider future perspectives.
On the metric representation of the vertices of a graph
Published in Bull. Malays. Math. Sci. Soc. (2023) 46:187
• View Publication
• BIB
The metric representation of a vertex $u$ in a connected graph $G$ respect to an ordered vertex subset $W=\{ω_1, \dots , ω_n\}\subset V(G)$ is the vector of distances $r(u\vert W)=(d(u,ω_1), \dots , d(u,ω_n))$. A vertex subset $W$ is a resolving set of $G$ if $r(u\vert W)\neq r(v\vert W)$, for every $u,v\in V(G)$ with $u\neq v$. Thus, a resolving set with $n$ elements provides a set of metric representation vectors $S\subset \mathbb{Z}^n$ with cardinal equal to the order of the graph. In this paper, we address the reverse point of view, that is, we characterize the finite subsets $S\subset \mathbb{Z}^n$ that are realizable as the set of metric representation vectors of a graph $G$ with respect to some resolving set $W$. We also explore the role that the strong product of paths plays in this context. Moreover, in the case $n=2$, we characterize the sets $S\subset \mathbb{Z}^2$ that are uniquely realizable as the set of metric representation vectors of a graph $G$ with respect to a resolving set $W$.
Basis number of bounded genus graphs
The basis number of a graph $G$ is the smallest integer $k$ such that $G$ admits a basis $B$ for its cycle space, where each edge of $G$ belongs to at most $k$ members of $B$. In this note, we show that every non-planar graph that can be embedded on a surface with Euler characteristic $0$ has a basis number of exactly $3$, proving a conjecture of Schmeichel from 1981. Additionally, we show that any graph embedded on a surface $Σ$ (whether orientable or non-orientable) of genus $g$ has a basis number of $O(\log^2 g)$.
Switching graphs and Hadamard matrices
Local operations of combinatorial structures (graphs, Hadamard matrices, codes, designs) that maintain the basic parameters unaltered, have been widely used in the literature under the name of switching. We show an equivalence between two switching methods to construct inequivalent Hadamard matrices, which were proposed by Orrick [SIAM Journal on Discrete Mathematics, 2008], and the switching method for constructing cospectral graphs which was introduced by Godsil and McKay [Aequationes Mathematicae, 1982].
On cubic rainbow domination regular graphs
A $d$-regular graph $X$ is called $d$-rainbow domination regular or $d$-RDR, if its $d$-rainbow domination number $γ_{rd}(X)$ attains the lower bound $n/2$ for $d$-regular graphs, where $n$ is the number of vertices. In the paper, two combinatorial constructions to construct new $d$-RDR graphs from existing ones are described and two general criteria for a vertex-transitive $d$-regular graph to be $d$-RDR are proven. A list of vertex-transitive 3-RDR graphs of small orders is produced and their partial classification into families of generalized Petersen graphs, honeycomb-toroidal graphs and a specific family of Cayley graphs is given by investigating the girth and local cycle structure of these graphs.
K5 and K3,3 are Toroidal Penny Graphs
In this article we emphasize on the connection between two fields of study that are Penny Graphs, and the Optimal Packing of Spheres on the Flat Torus. We give a brief litterature overview on related results in the fields of planar graphs, penny graphs, toroidal penny graphs and spherical codes.We also show that $K5$ and $K_{3,3}$ are penny graphs on the flat square torus.
Clique factors in randomly perturbed graphs: the transition points
A randomly perturbed graph $G^p = G_α\cup G(n,p)$ is obtained by taking a deterministic $n$-vertex graph $G_α= (V, E)$ with minimum degree $δ(G)\geq αn$ and adding the edges of the binomial random graph $G(n,p)$ defined on the same vertex set $V$. For which value $p$ (depending on $α$) does the graph $G^p$ contain a $K_r$-factor (a spanning collection of vertex-disjoint $K_r$-copies) with high probability? The order of magnitude of the minimal value of $p$ has been determined whenever $α\neq 1- \frac{s}{r}$ for an integer $s$ (see Han, Morris, and Treglown [RSA, 2021] and Balogh, Treglown, and Wagner [CPC, 2019]).
We establish the minimal probability $p_s$ (up to a constant factor) for all values of $α= 1-\frac{s}{r} \leq \frac 12$, and show that the threshold exhibits a polynomial jump at $α= 1-\frac{s}{r}$ compared to the surrounding intervals. An extremal example $G_α$ which shows that $p_s$ is optimal up to a constant factor differs from the previous (usually multipartite) examples in containing a pseudorandom induced subgraph.
Abelian groups with 3-chromatic Cayley graphs
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.
The five-color hypercube Adinkra and the Jacobian of a generalized Fermat curve
Adinkras are highly structured graphs developed to study 1-dimensional supersymmetry algebras. A cyclic ordering of the edge colors of an Adinkra, or rainbow, determines a Riemann surface and a height function on the vertices of the Adinkra determines a divisor on this surface. We study the induced map from height functions to divisors on the Jacobian of the Riemann surface. In the first nontrivial case, a 5-dimensional hypercube corresponding to a Jacobian given by a product of 5 elliptic curves each with $j$-invariant 2048, we develop and characterize a purely combinatorial algorithm to compute height function images. We show that when restricted to a single elliptic curve, every height function is a multiple of a specified generating divisor, and raising and lowering vertices corresponds to adding or subtracting this generator. We also give strict bounds on the coefficients of this generator that appear in the collection of all divisors of height functions.
Inverse Fiedler vector problem of a graph
Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.
A new criterion for oriented graphs to be determined by their generalized skew spectrum
Spectral characterizations of graphs is an important topic in spectral graph theory which has been studied extensively by researchers in recent years. The study of oriented graphs, however, has received less attention so far. In Qiu et al.~\cite{QWW} (Linear Algebra Appl. 622 (2021) 316-332), the authors gave an arithmetic criterion for an oriented graph to be determined by its \emph{generalized skew spectrum} (DGSS for short). More precisely, let $Σ$ be an $n$-vertex oriented graph with skew adjacency matrix $S$ and $W(Σ)=[e,Se,\ldots,S^{n-1}e]$ be the \emph{walk-matrix} of $Σ$, where $e$ is the all-one vector. A theorem of Qiu et al.~\cite{QWW} shows that a self-converse oriented graph $Σ$ is DGSS, provided that the Smith normal form of $W(Σ)$ is ${\rm diag}(1,\ldots,1,2,\ldots,2,2d)$, where $d$ is an odd and square-free integer and the number of $1$'s appeared in the diagonal is precisely $\lceil \frac{n}{2}\rceil$. In this paper, we show that the above square-freeness assumptions on $d$ can actually be removed, which significantly improves upon the above theorem. Our new ingredient is a key intermediate result, which is of independent interest: for a self-converse oriented graphs $Σ$ and an odd prime $p$, if the rank of $W(Σ)$ is $n-1$ over $\mathbb{F}_p$, then the kernel of $W(Σ)^{\rm T}$ over $\mathbb{F}_p$ is \emph{anisotropic}, i.e., $v^{\rm T}v\neq 0$ for any $0\ne v\in{{\rm ker}\,W(Σ)^{\rm T}}$ over $\mathbb{F}_p$.
On the Positive and Negative $p$-Energies of Graphs under Edge Addition
In this paper, we introduce the concepts of positive and negative $p$-energies of graphs and investigate their behavior under edge addition. Specifically, we generalize the classical notions of positive and negative square energies to the $p$-energy setting, denoted by $\mathcal{E}_p^{+}(G)$ and $\mathcal{E}_p^{-}(G)$, respectively. We establish improved lower bounds for these quantities under edge addition, which sharpen existing results by Abiad et al.\ in the case $p=2$. Furthermore, we address the monotonicity problem for $\mathcal{E}_p^{+}(G)$ under edge addition, and construct a family of counterexamples showing that monotonicity fails for $1 \leq p < 3$. Finally, we conclude with several open problems for further investigation.
Annihilating polynomial, Jordan canonical from, and generalized spectral characterizations of Eulerian graphs
Let $G$ be an Eulerian graph on $n$ vertices with adjacency matrix $A$ and characteristic polynomial $φ(x)$. We show that when $n$ is even (resp. odd), the square-root of $φ(x)$ (resp. $xφ(x)$) is an annihilating polynomial of $A$, over $\mathbb{F}_2$. The result was achieved by applying the Jordan canonical form of $A$ over the algebraic closure $\bar{\mathbb{F}}_2$. Based on this, we show a family of Eulerian graphs are determined by their generalized spectrum among all Eulerian graphs, which significantly simplifies and strengthens the previous result.
Invariants of almost embeddings of graphs in the plane
In this survey we motivate studies of the invariants from the title. A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We prove some relations between the invariants. We demonstrate connection of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants.
This paper is accessible to mathematicians not specialized in the area (and to students). All the necessary definitions are recalled. We present some ideas of algebraic and geometric topology in a language accessible to non-topologists. However elementary, this paper is motivated by frontline of research; there are some conjectures and an open problem.
Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles
Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. Curves of different edges might interact arbitrarily. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_{n}$, (2) every separable drawing of $K_{n}$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected, and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (SoCG 2024).
Efficient computations of discrete cubical homology
We present a fast algorithm for computing discrete cubical homology of graphs over finite fields with an appropriate characteristic. This algorithm improves on several computational steps compared to constructions in the existing literature, with the key insights including: a faster way to generate all singular cubes, reducing the dimensions of vector spaces in the chain complex by taking a quotient over automorphisms of the cube, and preprocessing graphs using the axiomatic treatment of discrete cubical homology.