graph
34516 papers tagged with this keyword
Some results on total weight choosability
A graph $G=(V,E)$ is called $(k,k')$-choosable if for any total list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a mapping $f:V\cup E\rightarrow \mathbb{R}$ such that $f(y)\in L(y)$ for any $y\in V\cup E$ and for any two adjacent vertices $v, v'$, $\sum_{e\in E(v)}f(e)+f(v)\neq \sum_{e\in E(v')}f(e)+f(v')$, where $E(x)$ denotes the set of incident edges of a vertex $x\in V(G)$. In this paper, we characterize a sufficient condition on
$(1,2)$-choosable of graphs. We show that every connected $(n,m)$-graph is both $(2,2)$-choosable and $(1,3)$-choosable if $m=n$ or $n+1$, where $(n,m)$-graph denotes the graph with $n$ vertices and $m$ edges. Furthermore, we prove that some graphs obtained by some graph operations are $(2,2)$-choosable.
Baker--Bowler theory for Lagrangian Grassmannians
Baker and Bowler showed that the Grassmannian can be defined over a tract, a field-like structure generalizing both partial fields and hyperfields. This notion unifies theories of matroids over partial fields, valuated matroids, and oriented matroids. We extend Baker--Bowler theory to the Lagrangian Grassmannian which is the set of maximal isotropic subspaces in a $2n$-dimensional symplectic vector space. By Boege et al., the Lagrangian Grassmannian is parameterized as a subset of the projective space of dimension $2^{n-2}(4+\binom{n}{2})-1$ and its image is cut out by certain quadrics. We simplify a list of quadrics so that these are apparently induced by the Laplace expansions only concerning principal and almost-principal minors of a symmetric matrix. From the idea that the strong basis exchange axiom of matroids captures the combinatorial essence of the Grassmann--Plücker relations, we define matroid-like objects, called antisymmetric matroids, derived from the quadrics for the Lagrangian Grassmannian. We also provide a cryptomorphic definition in terms of circuits capturing the orthogonality and maximality of a Lagrangian subspace. We define antisymmetric matroids over tracts in two equivalent ways, which generalize both BB theory and the parameterization of the Lagrangian Grassmannian. It provides a new perspective on the Lagrangian Grassmannian over hyperfields such as the tropical hyperfield and the sign hyperfield. Our proof involves a homotopy theorem for graphs associated with antisymmetric matroids, which generalizes Maurer's homotopy theorem for matroids. We also prove that if a point in the projective space satisfies the $3$-/$4$-term quadratic relations for the Lagrangian Grassmannian and its supports form the bases of an antisymmetric matroid, then it satisfies all quadratic relations, a result motivated by the earlier work of Tutte for matroids and the Grassmannian.
Spectral Antisymmetry of Twisted Graph Adjacency
We address a prime counting problem across the homology classes of a graph, presenting a graph-theoretical Dirichlet-type analogue of the prime number theorem. The main machinery we have developed and employed is a spectral antisymmetry theorem, revealing that the spectra of the twisted graph adjacency matrices have an antisymmetric distribution over the character group of the graph with a special character called the canonical character being an extremum. Additionally, we derive some trace formulas based on the twisted adjacency matrices as part of our analysis.
The $k$-representation number of the random graph
The $k$-representation number of a graph $G$ is the minimum cardinality of the system of vertex subsets with the property that every edge of $G$ is covered at least $k$ times while every non-edge is covered at most $(k-1)$ times. In particular, for $k=1$ this notion is equivalent to the clique number of a graph $G$. Extending results of Frieze and Reed, and Eaton and Grable, we study the $k$-representation number of $G(n,1/2)$. As a tool, we will prove a sharp concentration result counting the number of induced subgraphs of $G(n,1/2)$ with density $(\frac{1}{2}+α)$. In Lemma 3.7, we will show that the number of such subgraphs is close to its expected value with probability $1-\exp(-n^C)$.
Node resistance curvature in Cartesian graph products
Devriendt and Lambiotte recently introduced the \emph{node resistance curvature}, a notion of graph curvature based on the effective resistance matrix. In this paper, we begin the study of the behavior of the node resistance curvature under the operation of the Cartesian graph product. We study the natural question of global positivity of node resistance curvature of the Cartesian product of positively-curved graphs, and prove that, whenever $m,n\ge3$, the node resistance curvature of the interior vertices of a $m\times n$ grid is always nonpositive, while it is always nonnegative on the boundary of such grids. For completeness, we also prove a number of results on node resistance curvature in $2\times n$ grids and exhibit a counterexample to a generalization. We also give generic bounds and suggest several further questions for future study.
The classification of two-distance transitive dihedrants
A vertex transitive graph $Γ$ is said to be $2$-distance transitive if for each vertex $u$, the group of automorphisms of $Γ$ fixing the vertex $u$ acts transitively on the set of vertices at distance $1$ and $2$ from $u$, while $Γ$ is said to be $2$-arc transitive if its automorphism group is transitive on the set of $2$-arcs. Then $2$-arc transitive graphs are $2$-distance transitive. The classification of $2$-arc transitive Cayley graphs on dihedral groups was given by Du, Malnič and Marušič in [Classification of 2-arc-transitive dihedrants, J. Combin. Theory Ser. B 98 (2008), 1349--1372]. In this paper, it is shown that a connected 2-distance transitive Cayley graph on the dihedral group of order $2n$ is either $2$-arc transitive, or isomorphic to the complete multipartite graph $K_{m[b]}$ for some $m\geq3$ and $b\geq2$ with $mb=2n$.
A Strongly Subcubic Combinatorial Algorithm for Triangle Detection with Applications
We revisit the algorithmic problem of finding a triangle in a graph: We give a randomized combinatorial algorithm for triangle detection in a given $n$-vertex graph with $m$ edges running in $O(n^{7/3})$ time, or alternatively in $O(m^{4/3})$ time. This may come as a surprise since it invalidates several conjectures in the literature. In particular,
- the $O(n^{7/3})$ runtime surpasses the long-standing fastest algorithm for triangle detection based on matrix multiplication running in $O(n^ω) = O(n^{2.372})$ time, due to Itai and Rodeh (1978).
- the $O(m^{4/3})$ runtime surpasses the long-standing fastest algorithm for triangle detection in sparse graphs based on matrix multiplication running in $O(m^{2ω/(ω+1)})= O(m^{1.407})$ time due to Alon, Yuster, and Zwick (1997).
- the $O(n^{7/3})$ time algorithm for triangle detection leads to a $O(n^{25/9} \log{n})$ time combinatorial algorithm for $n \times n$ Boolean matrix multiplication, by a reduction of V. V. Williams and R.~R.~Williams (2018).This invalidates a conjecture of A.~Abboud and V. V. Williams (FOCS 2014).
- the $O(m^{4/3})$ runtime invalidates a conjecture of A.~Abboud and V. V. Williams (FOCS 2014) that any combinatorial algorithm for triangle detection requires $m^{3/2 - o(1)}$ time.
- as a direct application of the triangle detection algorithm, we obtain a faster exact algorithm for the $k$-clique problem, surpassing an almost $40$ years old algorithm of Ne{š}et{ř}il and Poljak (1985). This result strongly disproves the combinatorial $k$-clique conjecture.
- as another direct application of the triangle detection algorithm, we obtain a faster exact algorithm for the \textsc{Max-Cut} problem, surpassing an almost $20$ years old algorithm of R.~R.~Williams (2005).
A Ricci flow on graphs from effective resistance
In this paper, we introduce a new notion of curvature on the edges of a graph that is defined in terms of effective resistances. We call this the Ricci--Foster curvature. We study the Ricci flow resulting from this curvature. We prove the existence of solutions to Ricci flow on short time intervals, and prove that Ricci flow preserves graphs with nonnegative (resp. positive) curvature.
Stability of graph pairs involving cycles
A graph pair $(Γ, Σ)$ is called stable if $\aut(Γ)\times\aut(Σ)$ is isomorphic to $\aut(Γ\timesΣ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. A graph is called $R$-thin if distinct vertices have different neighbourhoods. $Γ$ and $Σ$ are said to be coprime if there is no nontrivial graph $Δ$ such that $Γ\cong Γ_1 \times Δ$ and $Σ\cong Σ_1 \times Δ$ for some graphs $Γ_1$ and $Σ_1$. An unstable graph pair $(Γ, Σ)$ is called nontrivially unstable if $Γ$ and $Σ$ are $R$-thin connected coprime graphs and at least one of them is non-bipartite. This paper contributes to the study of the stability of graph pairs with a focus on the case when $Σ= C_n$ is a cycle. We give two sufficient conditions for $(Γ, C_n)$ to be nontrivially unstable, where $n \ne 4$ and $Γ$ is an $R$-thin connected graph. In the case when $Γ$ is an $R$-thin connected non-bipartite graph, we obtain the following results: (i) if $(Γ, K_2)$ is unstable, then $(Γ, C_{n})$ is unstable for every even integer $n \geq 4$; (ii) if an even integer $n \ge 6$ is compatible with $Γ$ in some sense, then $(Γ, C_{n})$ is nontrivially unstable if and only if $(Γ, K_2)$ is unstable; (iii) if there is an even integer $n \ge 6$ compatible with $Γ$ such that $(Γ, C_{n})$ is nontrivially unstable, then $(Γ, C_{m})$ is unstable for all even integers $m \ge 6$. We also prove that if $Γ$ is an $R$-thin connected graph and $n \ge 3$ is an odd integer compatible with $Γ$, then $(Γ, C_{n})$ is stable.
Automorphism group of a family of distance regular graphs which are not distance transitive
Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.
The unitary Cayley graph of upper triangular matrix rings
The unitary Cayley graph $C_R$ of a finite unital ring $R$ is the simple graph with vertex set $R$ in which two elements $x$ and $y$ are connected by an edge if and only if $x-y$ is a unit of $R$. We characterize the unitary Cayley graph $C_{T_n (\mathbb{F})}$ of the ring of all upper triangular matrices $T_n(\mathbb{F})$ over a finite field $\mathbb{F}$. We show that $C_{T_n (\mathbb{F})}$ is isomorphic to the semistrong product of the complete graph $K_m$ and the antipodal graph of the Hamming graph $A(H(n,p^k))$, where $m=p^{\frac{kn(n-1)}{2}}$ and $|\mathbb{F}|=p^k$. In particular, if $|\mathbb{F}|=2$, then the graph $C_{T_n (\mathbb{F})}$ has $2^{n-1}$ connected components, each component is isomorphic to the complete bipartite graph $K_{m,m}$, where $m=2^{\frac{n(n-1)}{2}}$. We also compute the diameter, triameter, and clique number of the graph $C_{T_n (\mathbb{F})}$.
A family of symmetric graphs in relation to 2-point-transitive linear spaces
A graph $Γ$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $Γ$, where an arc is an ordered pair of adjacent vertices. Let $Γ$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(Γ, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup Γ_{\cal B}(α)$, for $B \in {\cal B}$ and $α\in B$, where $Γ_{\cal B}(α)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $α$ in $Γ$. In this paper we classify all $G$-symmetric graphs $Γ$ such that $Γ_{\cal B}(α) \ne Γ_{\cal B}(β)$ for distinct $α, β\in B$, the quotient graph of $Γ$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(Γ, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.
Irreducible components of sets of points in the plane that satisfy distance conditions
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
Connected Domination in Plane Triangulations
A set of vertices of a graph $G$ such that each vertex of $G$ is either in the set or is adjacent to a vertex in the set is called a dominating set of $G$. If additionally, the set of vertices induces a connected subgraph of $G$ then the set is a connected dominating set of $G$. The domination number $γ(G)$ of $G$ is the smallest number of vertices in a dominating set of $G$, and the connected domination number $γ_c(G)$ of $G$ is the smallest number of vertices in a connected dominating set of $G$. We find the connected domination numbers for all triangulations of up to thirteen vertices. For $n\ge 15$, $n\equiv 0$ (mod 3), we find graphs of order $n$ and $γ_c=\frac{n}{3}$. We also show that the difference $γ_c(G)-γ(G)$ can be arbitrarily large.
On Hoffman polynomials of $λ$-doubly stochastic irreducible matrices and commutative association schemes
Let $Γ$ denote a finite (strongly) connected regular (di)graph with adjacency matrix $A$. The {\em Hoffman polynomial} $h(t)$ of $Γ=Γ(A)$ is the unique polynomial of smallest degree satisfying $h(A)=J$, where $J$ denotes the all-ones matrix. Let $X$ denote a nonempty finite set. A nonnegative matrix $B\in{\mbox{Mat}}_X({\mathbb R})$ is called {\em $λ$-doubly stochastic} if $\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=λ$ for each $y\in X$. In this paper we first show that there exists a polynomial $h(t)$ such that $h(B)=J$ if and only if $B$ is a $λ$-doubly stochastic irreducible matrix. This result allows us to define the Hoffman polynomial of a $λ$-doubly stochastic irreducible matrix.
Now, let $B\in{\mbox{Mat}}_X({\mathbb R})$ denote a normal irreducible nonnegative matrix, and ${\cal B}=\{p(B)\mid p\in{\mathbb{C}}[t]\}$ denote the vector space over ${\mathbb{C}}$ of all polynomials in $B$. Let us define a $01$-matrix $\widehat{A}$ in the following way: $(\widehat{A})_{xy}=1$ if and only if $(B)_{xy}>0$ $(x,y\in X)$. Let $Γ=Γ(\widehat{A})$ denote a (di)graph with adjacency matrix $\widehat{A}$, diameter $D$, and let $A_D$ denote the distance-$D$ matrix of $Γ$. We show that ${\cal B}$ is the Bose--Mesner algebra of a commutative $D$-class association scheme if and only if $B$ is a normal $λ$-doubly stochastic matrix with $D+1$ distinct eigenvalues and $A_D$ is a polynomial in $B$.
Reverse Degree-Based Topological Indices and QSPR Analysis of Cancer Drugs
A topological index of a graph $G$ is a numerical quantity that describes its topology. Reverse degree-based topological indices play an important role in finding topological descriptors. Azacitidine, Decitabine, and Guadecitabine are hypomethylating agents which are used for the treatment of patients with higher-risk myelodysplastic syndromes, acute myeloid leukemia, and chronic myelomonocytic leukemia which are not suitable for in-depth treatments such as induction chemotherapy. In this article, some reverse degree-based topological indices of the three said drugs are computed. Furthermore, QSPR analysis of the said topological indices is discussed and it is shown that these topological indices are highly correlated with the physical properties of the three cancer drugs. These findings may help chemists and people working in the pharmaceutical industry to predict the properties of cancer drugs without experimenting.
Edge open packing: complexity, algorithmic aspects, and bounds
Given a graph $G$, two edges $e_{1},e_{2}\in E(G)$ are said to have a common edge $e$ if $e$ joins an endvertex of $e_{1}$ to an endvertex of $e_{2}$. A subset $B\subseteq E(G)$ is an edge open packing set in $G$ if no two edges of $B$ have a common edge in $G$, and the maximum cardinality of such a set in $G$ is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. In this paper, we prove that the decision version of the edge open packing number is NP-complete even when restricted to graphs with universal vertices, Eulerian bipartite graphs, and planar graphs with maximum degree $4$, respectively. In contrast, we present a linear-time algorithm that computes the edge open packing number of a tree. We also resolve two problems posed in the seminal paper [Edge open packing sets in graphs, RAIRO-Oper.\ Res.\ 56 (2022) 3765--3776]. Notably, we characterize the graphs $G$ that attain the upper bound $ρ_e^o(G)\le |E(G)|/δ(G)$, and provide lower and upper bounds for the edge-deleted subgraph of a graph and establish the corresponding realization result.
Contact Lie poset algebras of types B, C, and D
We extend a recently established combinatorial index formula applying to Lie poset algebras of types B, C, and D. Then, using the extended index formula, we determine a characterization of contact Lie poset algebras of types B, C, and D corresponding to posets of height one in terms of an associated graph.
Extending Graph Burning to Hypergraphs
Graph burning is a round-based game or process that discretely models the spread of influence throughout a network. We introduce a generalization of graph burning which applies to hypergraphs, as well as a variant called ''lazy'' hypergraph burning. Interestingly, lazily burning a graph is trivial, while lazily burning a hypergraph can be quite complicated. Moreover, the lazy burning model is a useful tool for analyzing the round-based model. One of our key results is that arbitrary hypergraphs do not satisfy a bound analogous to the one in the Burning Number Conjecture for graphs. We also obtain bounds on the burning number and lazy burning number of a hypergraph in terms of its parameters, and present several open problems in the field of (lazy) hypergraph burning.
A necessary and sufficient condition for bounds on the sum of a list of real numbers and its applications
Let $x_1,...,x_n$ be a list of real numbers, let $s :=\sum_{i=1}^{n}x_i$ and let $h:\mathbb{N} \rightarrow \mathbb{R}$ be a function. We gave a necessary and sufficient condition for $s>h(n)$ (respectively, $s<h(n)$). Let $G=(V,E)$ be a graph, let $\{H_1,...,H_n\}$ and $\{V_1,...,V_n\}$ be a decomposition and a partition of $G$, respectively. Let $H_{i,j}$ and $V_{i,j}, i\leq j,$ be the union of $H_i,...,H_j$ and $V_i,...,V_j$, respectively, where subscripts are taken modulo $n$. $G$ is \emph{generalized periodic} or \emph{partition-transitive} if for each pair of integers $(i,j)$, $H_{i,i+k}$ and $H_{j,j+k}$ or $V_{i,i+k}$ and $V_{j,j+k}$ are isomorphic for all $k$, $1\leq k\leq n$, respectively. Let $f:E \rightarrow \mathbb{R}$ and $g:V \rightarrow \mathbb{R}$ be mappings, let the \emph{weight} of $f$ or $g$ on $G$ be $Σ_{e\in E}f(e)$ or $Σ_{v\in V}g(v)$, respectively. Suppose that parameters $λ$ and $ξ$ of $G$ can be expressed as the minimum or maximum weight of specified $f$ and $g$, respectively. Then our conditions imply a necessary and sufficient condition for $λ(G_1)=h(n)$ (respectively, $ξ(G_2)=h(n)$), where $G_1$ is generalized periodic and $G_2$ is partition-transitive. For example, the crossing number $\textrm{cr}(\odot(T^n))$ of a periodic graph $\odot(T^n)$, $\textrm{cr}(\odot(T^n))=h(n)$. As applications, we obtained $\textrm{cr}(C(4n;\{1,4\}))$ of the circulant $C(4n;\{1,4\})$, the paired domination number of $C_5\Box C_n$ and the upper total domination number of $C_4\Box C_n$.