graph
34604 papers tagged with this keyword
More on total domination polynomial and $\mathcal{D}_t$-equivalence classes of some graphs
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. Two graphs $G$ and $H$ are said to be total dominating equivalent or simply $\mathcal{D}_t$-equivalent, if $D_t(G,x)=D_t(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}_t$-equivalent to $G$. In this paper, we investigate $\mathcal{D}_t$-equivalence classes of some graphs. Also we introduce some families of graphs whose total domination polynomials are unimodal.
On orders of automorphisms of vertex-transitive graphs
In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with $n$ vertices and of valence $d$, $d\le 4$, is at most $c_d n$ where $c_3=1$ and $c_4 = 9$. Whether such a constant $c_d$ exists for valencies larger than $4$ remains an unanswered question. Further, we prove that every automorphism $g$ of a finite connected $3$-valent vertex-transitive graph $Γ$, $Γ\not\cong K_{3,3}$, has a regular orbit, that is, an orbit of $\langle g \rangle$ of length equal to the order of $g$. Moreover, we prove that in this case either $Γ$ belongs to a well understood family of exceptional graphs or at least $5/12$ of the vertices of $Γ$ belong to a regular orbit of $g$. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms $C$ of a connected $3$-valent vertex-transitive graph $Γ$ in terms of the number of vertices of $Γ$ and the length of a longest orbit of $C$.
Coincident Rigidity of 2-Dimensional Frameworks
Published
• View Publication
• BIB
Fekete, Jordán and Kaszanitzky [4] characterised the graphs which can be realised as 2-dimensional, infinitesimally rigid, bar-joint frameworks in which two given vertices are coincident. We formulate a conjecture which would extend their characterisation to an arbitrary set T of vertices and verify our conjecture when |T| = 3.
Classes of graphs embeddable in order-dependent surfaces
Published
• View Publication
• BIB
Given a function $g=g(n)$ we let ${\mathcal E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in some surface of Euler genus at most $g(n)$, and let ${\widetilde{\mathcal E}}^g$ be the corresponding class of unlabelled graphs. We give estimates of the sizes of these classes. For example we show that if $g(n)=o(n/\log^3n)$ then the class ${\mathcal E}^{g}$ has growth constant $γ_{\mathcal P}$, the (labelled) planar graph growth constant; and when $g(n) = O(n)$ we estimate the number of n-vertex graphs in ${\mathcal E}^{g}$ and ${\widetilde{\mathcal E}}^g$ up to a factor exponential in $n$. From these estimates we see that, if ${\mathcal E}^g$ has growth constant $γ_{\mathcal P}$ then we must have $g(n)=o(n/\log n)$, and the generating functions for ${\mathcal E}^g$ and ${\widetilde{\mathcal E}}^g$ have strictly positive radius of convergence if and only if $g(n)=O(n/\log n)$. Such results also hold when we consider orientable and non-orientable surfaces separately. We also investigate related classes of graphs where we insist that, as well as the graph itself, each subgraph is appropriately embeddable (according to its number of vertices); and classes of graphs where we insist that each minor is appropriately embeddable. In a companion paper [43], these results are used to investigate random $n$-vertex graphs sampled uniformly from ${\mathcal E}^g$ or from similar classes.
On some extremal position problems for graphs
Published
• View Publication
• BIB
The general position number of a graph $G$ is the size of the largest set of vertices $S$ such that no geodesic of $G$ contains more than two elements of $S$. The monophonic position number of a graph is defined similarly, but with `induced path' in place of `geodesic'. In this paper we investigate some extremal problems for these parameters. Firstly we discuss the problem of the smallest possible order of a graph with given general and monophonic position numbers. We then determine the asymptotic order of the largest size of a graph with given general or monophonic position number, classifying the extremal graphs with monophonic position number two. Finally we establish the possible diameters of graphs with given order and monophonic position number.
Linear configurations containing 4-term arithmetic progressions are uncommon
Published
• View Publication
• BIB
A linear configuration is said to be common in $G$ if every 2-coloring of $G$ yields at least the number of monochromatic instances of a randomly chosen coloring. Saad and Wolf asked whether, analogously to a result by Thomason in graph theory, every configuration containing a 4-term arithmetic progression is uncommon. We prove this in $\mathbb{F}_p^n$ for $p\geq 5$ and large $n$ and in $\mathbb{Z}_p$ for large primes $p$.
The Clebsch-Gordan Rule for $U(\mathfrak{sl}_2)$, the Krawtchouk Algebras and the Hamming Graphs
Published in SIGMA 19 (2023), 017, 19 pages
• View Publication
• BIB
Let $D\geq 1$ and $q\geq 3$ be two integers. Let $H(D)=H(D,q)$ denote the $D$-dimensional Hamming graph over a $q$-element set. Let ${\mathcal T}(D)$ denote the Terwilliger algebra of $H(D)$. Let $V(D)$ denote the standard ${\mathcal T}(D)$-module. Let $ω$ denote a complex scalar. We consider a unital associative algebra $\mathfrak K_ω$ defined by generators and relations. The generators are $A$ and $B$. The relations are $A^2 B-2 ABA +B A^2 =B+ωA$, $B^2A-2 BAB+AB^2=A+ωB$. The algebra $\mathfrak K_ω$ is the case of the Askey-Wilson algebras corresponding to the Krawtchouk polynomials. The algebra $\mathfrak K_ω$ is isomorphic to ${\rm U}(\mathfrak{sl}_2)$ when $ω^2\not=1$. We view $V(D)$ as a $\mathfrak{K}_{1-\frac{2}{q}}$-module. We apply the Clebsch-Gordan rule for ${\rm U}(\mathfrak{sl}_2)$ to decompose $V(D)$ into a direct sum of irreducible ${\mathcal T}(D)$-modules.
The Rank of the Sandpile Group of Random Directed Bipartite Graphs
Published
• View Publication
• BIB
We identify the asymptotic distribution of $p$-rank of the sandpile group of a random directed bipartite graphs which are not too imbalanced. We show this matches exactly that of the Erd{ö}s-R{é}nyi random directed graph model, suggesting the Sylow $p$-subgroups of this model may also be Cohen-Lenstra distributed. Our work builds on results of Koplewitz who studied $p$-rank distributions for unbalanced random bipartite graphs, and showed that for sufficiently unbalanced graphs, the distribution of $p$-rank differs from the Cohen-Lenstra distribution. Koplewitz \cite{K} conjectured that for random balanced bipartite graphs, the expected value of $p$-rank is $O(1)$ for any $p$. This work proves his conjecture and gives the exact distribution for the subclass of directed graphs.
Triangulations of uniform subquadratic growth are quasi-trees
Published
• View Publication
• BIB
It is known that for every $α\geq 1$ there is a planar triangulation in which every ball of radius $r$ has size $Θ(r^α)$. We prove that for $α<2$ every such triangulation is quasi-isometric to a tree. The result extends to Riemannian 2-manifolds of finite genus, and to large-scale-simply-connected graphs. We also prove that every planar triangulation of asymptotic dimension 1 is quasi-isometric to a tree.
Saturation Numbers for Linear Forests $P_6$ + $tP_2$
Published
• View Publication
• BIB
A graph $G$ is $H$-saturated if it contains no $H$ as a subgraph, but does contain $H$ after the addition of any edge in the complement of $G$. The saturation number, $sat (n, H)$, is the minimum number of edges of a graph in the set of all $H$-saturated graphs with order $n$. In this paper, we determine the saturation number $sat (n, P_6 + tP_2)$ for $n \geq 10t/3 + 10$ and characterize the extremal graphs for $n >10t/3 + 20$.
A geometric model for syzygies over 2-Calabi-Yau tilted algebras
In this article, we consider the class of 2-Calabi-Yau tilted algebras that are defined by a quiver with potential whose dual graph is a tree. We call these algebras \emph{dimer tree algebras} because they can also be realized as quotients of dimer algebras on a disc. These algebras are wild in general. For every such algebra $B$, we construct a polygon $\mathcal{S}$ with a checkerboard pattern in its interior that gives rise to a category $\text{Diag}(\mathcal{S})$. The indecomposable objects of $\text{Diag}(\mathcal{S})$ are the 2-diagonals in $\mathcal{S}$, and its morphisms are given by certain pivoting moves between the 2-diagonals. We conjecture that the category $\text{Diag}(\mathcal{S})$ is equivalent to the stable syzygy category over the algebra $B$, such that the rotation of the polygon corresponds to the shift functor on the syzygies. In particular, the number of indecomposable syzygies is finite and the projective resolutions are periodic. We prove the conjecture in the special case where every chordless cycle in the quiver is of length three.
As a consequence, we obtain an explicit description of the projective resolutions. Moreover, we show that the syzygy category is equivalent to the 2-cluster category of type $\mathbb{A}$, and we introduce a new derived invariant for the algebra $B$ that can be read off easily from the quiver.
Mostar index and edge Mostar index of polymers
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $e=uv\in E$. Define $n_u(e,G)$ be the number of vertices of $G$ closer to $u$ than to $v$. The number $n_v(e,G)$ can be defined in an analogous way. The Mostar index of $G$ is a new graph invariant defined as $Mo(G)=\sum_{uv\in E(G)}|n_u(uv,G)-n_v(uv,G)|$. The edge version of Mostar index is defined as $Mo_e(G)=\sum_{e=uv\in E(G)} |m_u(e|G)-m_v(G|e)|$, where $m_u(e|G)$ and $m_v(e|G)$ are the number of edges of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of edges of $G$ lying closer to vertex $v$ than to vertex $u$, respectively. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two
vertices. Then continue in this manner inductively. We say that $G$ is a polymer graph, obtained by point-attaching from monomer units $G_1,...,G_k$.
In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their Mostar and edge Mostar indices.
On some graph-cordial Abelian groups
Published in Discrete Mathematics 345 (2022) 112815
• View Publication
• BIB
Hovey introduced $A$-cordial labelings as a generalization of cordial and harmonious labelings \cite{Hovey}. If $A$ is an Abelian group, then a labeling $f \colon V (G) \rightarrow A$ of the vertices of some graph $G$ induces an edge labeling on $G$; the edge $uv$ receives the label $f (u) + f (v)$. A graph $G$ is $A$-cordial if there is a vertex-labeling such that (1) the vertex label classes differ in size by at most one and (2) the induced edge label classes differ in size by at most one.
Patrias and Pechenik studied the larger class of finite abelian groups $A$ such that all path graphs are $A$-cordial. They posed a conjecture that all but finitely many paths graphs are $A$-cordial for any Abelian group $A$. In this paper we solve this conjecture. Moreover we show that all cycle graphs are $A$-cordial for any Abelian group $A$ of odd order.
Singularity of the k-core of a random graph
Published
• View Publication
• BIB
Very sparse random graphs are known to typically be singular (i.e., have singular adjacency matrix), due to the presence of "low-degree dependencies'' such as isolated vertices and pairs of degree-1 vertices with the same neighbourhood. We prove that these kinds of dependencies are in some sense the only causes of singularity: for constants $k\ge 3$ and $λ> 0$, an Erdős--Rényi random graph $G\sim\mathbb{G}(n,λ/n)$ with $n$ vertices and edge probability $λ/n$ typically has the property that its $k$-core (its largest subgraph with minimum degree at least $k$) is nonsingular. This resolves a conjecture of Vu from the 2014 International Congress of Mathematicians, and adds to a short list of known nonsingularity theorems for "extremely sparse'' random matrices with density $O(1/n)$. A key aspect of our proof is a technique to extract high-degree vertices and use them to "boost'' the rank, starting from approximate rank bounds obtainable from (non-quantitative) spectral convergence machinery due to Bordenave, Lelarge and Salez.
Edge Domination Number and the Number of Minimum Edge Dominating Sets in Pseudofractal Scale-Free Web and Sierpiński Gasket
Published
• View Publication
• BIB
As a fundamental research object, the minimum edge dominating set (MEDS) problem is of both theoretical and practical interest. However, determining the size of a MEDS and the number of all MEDSs in a general graph is NP-hard, and it thus makes sense to find special graphs for which the MEDS problem can be exactly solved. In this paper, we study analytically the MEDS problem in the pseudofractal scale-free web and the Sierpiński gasket with the same number of vertices and edges. For both graphs, we obtain exact expressions for the edge domination number, as well as recursive solutions to the number of distinct MEDSs. In the pseudofractal scale-free web, the edge domination number is one-ninth of the number of edges, which is three-fifths of the edge domination number of the Sierpiński gasket. Moreover, the number of all MEDSs in the pseudofractal scale-free web is also less than that corresponding to the Sierpiński gasket. We argue that the difference of the size and number of MEDSs between the two studied graphs lies in the scale-free topology.
Minimal Regular graphs with every edge in a triangle
Considering regular graphs with every edge in a triangle we prove lower bounds for the number of triangles in such graphs. For r-regular graphs with r <= 5 we exhibit families of graphs with exactly that number of triangles and then classify all such graphs using line graphs and even cycle decompositions. Examples of ways to create such r-regular graphs with r >= 6 are also given. In the 5-regular case, these minimal graphs are proven to be the only regular graphs with every edge in a triangle which cannot have an edge removed and still have every edge in a triangle.
Symmetric Set Coloring of Signed Graphs
Published in Annals of Combinatorics. 1-17 (2022)
• View Publication
• BIB
There are many concepts of signed graph coloring which are defined by assigning colors to the vertices of the graphs. These concepts usually differ in the number of self-inverse colors used. We introduce a unifying concept for this kind of coloring by assigning elements from symmetric sets to the vertices of the signed graphs. In the first part of the paper, we study colorings with elements from symmetric sets where the number of self-inverse elements is fixed. We prove a Brooks'-type theorem and upper bounds for the corresponding chromatic numbers in terms of the chromatic number of the underlying graph. These results are used in the second part where we introduce the symset-chromatic number $χ_{sym}(G,σ)$ of a signed graph $(G,σ)$. We show that the symset-chromatic number gives the minimum partition of a signed graph into independent sets and non-bipartite antibalanced subgraphs. In particular, $χ_{sym}(G,σ) \leq χ(G)$. In the final section we show that these colorings can also be formalized as $DP$-colorings.
Graphs that are minor minimal with respect to dimension
Erdős, Harary, and Tutte defined the dimension of a graph $G$ as the smallest natural number $n$ such that $G$ can be embedded in $\mathbb{R}^n$ with each edge a straight line segment of length 1.
Since the proposal of this definition, little has been published on how to compute the exact dimension of graphs and almost nothing has been published on graphs that are minor minimal with respect to dimension. This paper develops both of these areas. In particular, it (1) establishes certain conditions under which computing the dimension of graph sums is easy and (2) constructs three infinitely-large classes of graphs that are minor minimal with respect to their dimension.
Integer programs with bounded subdeterminants and two nonzeros per row
Published in Journal of the ACM, 72/1:Article 3, 2025
• View Publication
• BIB
We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our approach is the first polynomial-time algorithm for the weighted stable set problem on graphs that do not contain more than $k$ vertex-disjoint odd cycles, where $k$ is any constant. Previously, polynomial-time algorithms were only known for $k=0$ (bipartite graphs) and for $k=1$.
We observe that integer linear programs defined by coefficient matrices with bounded subdeterminants and two nonzeros per column can be also solved in strongly polynomial-time, using a reduction to $b$-matching.
Simplifying Continuous-Time Quantum Walks on Dynamic Graphs
Published in Quantum Inf. Process. 21, 54 (2022)
• View Publication
• BIB
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.