graph
34585 papers tagged with this keyword
Power domination reconfiguration
Published
• View Publication
• BIB
The study of token addition and removal and token jumping reconfiguration graphs for power domination is initiated. Some results established here can be extended by applying the methods used for power domination to reconfiguration graphs for other parameters such as domination and zero forcing, so these results are first established in a universal framework.
Parity Property of Hexagonal Sliding Puzzles
Published
• View Publication
• BIB
We study the puzzle graphs of hexagonal sliding puzzles of various shapes and with various numbers of holes. The puzzle graph is a combinatorial model which captures the solvability and the complexity of sequential mechanical puzzles. Questions relating to the puzzle graph have been previously studied and resolved for the 15 Puzzle which is the most famous, and unsolvable, square sliding puzzle of all time. It is known that for square puzzles such as the 15 Puzzle, solvability depends on a parity property that splits the puzzle graph into two components. In the case of hexagonal sliding puzzles, we get more interesting parity properties that depend on the shape of the boards and on the missing tiles or holes on the board. We show that for large-enough hexagonal, triangular, or parallelogram-shaped boards with hexagonal tiles, all puzzles with three or more holes are solvable. For puzzles with two or more holes, we give a solvability criterion involving both a parity property and the placement of tiles in tight corners of the board. The puzzle graph is a discrete model for the configuration space of hard tiles (hexagons or squares) moving on different tessellation-based domains. Understanding the combinatorics of the puzzle graph could lead to understanding some aspects of the topology of these configuration spaces.
Spanning trees of $K_{1,4}$-free graphs with a bounded number of leaves and branch vertices
Published
• View Publication
• BIB
Let $T$ be a tree. A vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. A graph is said to be \emph{$K_{1,4}$-free} if it does not contain $K_{1,4}$ as an induced subgraph. In this paper, we study the spanning trees with a bounded number of leaves and branch vertices of $K_ {1,4}$-free graphs. Applying the main results, we also give some improvements of previous results on the spanning tree with few branch vertices for the case of $K_{1,4}$-free graphs.
Disproof of a conjecture on the main spectrum of generalized Bethe trees
Published
• View Publication
• BIB
An eigenvalue of the adjacency matrix of a graph is said to be main if the all-ones vector is not orthogonal to its associated eigenspace. A generalized Bethe tree with $k$ levels is a rooted tree in which vertices at the same level have the same degree. França and Brondani [On the main spectrum of generalized Bethe trees, Linear Algebra Appl., 628 (2021) 56-71] recently conjectured that any generalized Bethe tree with $k$ levels has exactly $k$ main eigenvalues whenever $k$ is even. We disprove the conjecture by constructing a family of counterexamples for even integers $k\ge 6$.
A simple path to component sizes in critical random graphs
Published
• View Publication
• BIB
We describe a robust methodology, based on the martingale argument of Nachmias and Peres and random walk estimates, to obtain simple upper and lower bounds on the size of a maximal component in several random graphs \textit{at criticality}. Even though the main result is not new, we believe the the material presented here is interesting because it unifies several proofs found in the literature into a common framework. More specifically, we give easy-to-check conditions that, when satisfied, allow an immediate derivation of the above mentioned bounds.
Block-transitive two-designs based on grids
Published
• View Publication
• BIB
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids.
Liftable automorphisms of right-angled Artin groups
Published
• View Publication
• BIB
Given a regular covering map $\varphi:Λ\to Γ$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_Γ)$ of the right-angled Artin group $A_Γ$. This subgroup comprises all automorphisms that can be lifted to automorphisms of $A_Λ$. We first show that $\operatorname{LAut}(\varphi)$ is generated by a finite subset of Laurence's elementary automorphisms.
For the subgroup $\operatorname{FAut}(\varphi)$ of $\operatorname{Aut}(A_Λ)$, which consists of lifts of automorphisms in $\operatorname{LAut}(\varphi)$, there exists a natural homomorphism $\operatorname{FAut}(\varphi)\to\operatorname{LAut}(\varphi)$ induced by $\varphi$. We then show that the kernel of this homomorphism is virtually a subgroup of the Torelli subgroup $\operatorname{IA}(A_Λ)$ and deduce a short exact sequence reminiscent of results from the Birman--Hilden theory for surfaces.
Sharp bounds on the least eigenvalue of a graph determined from edge clique partitions
Published
• View Publication
• BIB
Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this eigenvalue is $(n-3)^2$. Additionally, some results on the edge clique partition graph parameters are obtained.
Laplacian Energies of Vertices
Published
• View Publication
• BIB
In this work, we define the Laplacian and Normalized Laplacian energies of vertices in a graph, we derive some of its properties and relate them to combinatorial, spectral and geometric quantities of the graph.
Maker-Breaker-Crossing-Game on the Triangular Grid-graph
We study the $(p,q)$-Maker Breaker Crossing game introduced by Day and Falgas Ravry in 'Maker-Breaker percolation games I: crossing grids'. The game described in their paper involves two players Maker and Breaker who take turns claiming p and q as yet unclaimed edges of the graph respectively. Maker aims to make a horizontal path from a leftmost vertex to a rightmost vertex and Breaker aims to prevent this. The game is a version of the more general Shannon switching game and is played on a square grid graph.
We consider the same game played on the triangular grid graph $Δ_{(m,n)}$ (m vertices across, n vertices high) and aim to find, for given $(p,q,m,n)$, a winning strategy for Maker or Breaker. We establish using a similar strategy to that used by Day and Falgas Ravry to show that:
$\bullet$ For sufficiently tall grids and $p\geq q$ Maker has a winning strategy for the $(p,q)$-crossing game on $Δ_{(m,n)}$ .
$\bullet$ For sufficiently wide grids and $4p\leq q$, Breaker has a winning strategy for the $(p,q)$-crossing game on $Δ_{(m,n)}$.
Quadratic embedding constants of path graphs
Published in Linear Algebra and its Applications 644 (2022) 95-107
• Search Publication
We characterize positive definiteness for some family of matrices. As an application we derive explicit value of the quadratic embedding constants of the path graphs.
The bipartite Turan number and spectral extremum for linear forests
Published
• View Publication
• BIB
The bipartite Turán number of a graph $H$, denoted by $ex(m,n; H)$, is the maximum number of edges in any bipartite graph $G=(X,Y; E)$ with $|X|=m$ and $|Y|=n$ which does not contain $H$ as a subgraph. In this paper, we determined $ex(m,n; F_{\ell})$ for arbitrary $\ell$ and appropriately large $n$ with comparing to $m$ and $\ell$, where $F_\ell$ is a linear forest which consists of $\ell$ vertex disjoint paths. Moreover, the extremal graphs have been characterized. Furthermore, these results are used to obtain the maximum spectral radius of bipartite graphs which does not contain $F_{\ell}$ as a subgraph and characterize all extremal graphs which attain the maximum spectral radius.
On the Diameters of Friends-and-Strangers Graphs
Published
• View Publication
• BIB
Given simple graphs $X$ and $Y$ on the same number of vertices, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ with images adjacent in $Y$. We study the diameters of connected components of friends-and-strangers graphs: the diameter of a component of $\mathsf{FS}(X,Y)$ corresponds to the largest number of swaps necessary to go from one configuration in the component to another. We show that any component of $\mathsf{FS}(\mathsf{Path}_n, Y)$ has $O(n^2)$ diameter and that any component of $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ has $O(n^4)$ diameter, improvable to $O(n^3)$ whenever $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ is connected. These results address an open problem posed by Defant and Kravitz. Using an explicit construction, we show that there exist $n$-vertex graphs $X$ and $Y$ such that $\mathsf{FS}(X,Y)$ has a component with $e^{Ω(n)}$ diameter. This answers a question raised by Alon, Defant, and Kravitz in the negative. As a corollary, we observe that for such $X$ and $Y$, the lazy random walk on this component of $\mathsf{FS}(X,Y)$ has $e^{Ω(n)}$ mixing time. This result deviates from related classical theorems regarding rapidly mixing Markov chains and makes progress on another open problem of Alon, Defant, and Kravitz. We conclude with several suggestions for future research.
Three-color Ramsey number of an odd cycle versus bipartite graphs with small bandwidth
Published
• View Publication
• BIB
A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$.
In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced $(β,Δ)$-graph $\mathcal{H}$ on $n$ vertices we have $$R(\mathcal{H}, \mathcal{H}, C_n) \leq (3+γ)n$$ for all sufficiently large odd $n$. The upper bound is sharp for several classes of graphs. Let $θ_{n,t}$ be the graph consisting of $t$ internally disjoint paths of length $n$ all sharing the same endpoints. As a corollary, for each fixed $t\geq 1$, $R(θ_{n, t},θ_{n, t}, C_{nt+λ})=(3t+o(1))n,$ where $λ=0$ if $nt$ is odd and $λ=1$ if $nt$ is even. In particular, we have $R(C_{2n},C_{2n}, C_{2n+1})=(6+o(1))n$, which is a special case of a result of Figaj and Łuczak (2018).
Categorifying connected domination via graph überhomology
Published in Journal of Pure and Applied Algebra (2023)
• View Publication
• BIB
Überhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of überhomology, is related to dominating sets in graphs. To this end, we interpret überhomology as a poset homology, and investigate its functoriality properties. We then show that the Euler characteristic of the bold homology of a graph coincides with an evaluation of its connected domination polynomial. Even more, the bold chain complex retracts onto a complex generated by connected dominating sets. We conclude with several computations of this homology on families of graphs; these include a vanishing result for trees, and a characterisation result for complete graphs.
Perfect models for finite Coxeter groups
Published in J. Pure Appl. Algebra 227 (2023), 107303
• View Publication
• BIB
A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.
Expansion, divisibility and parity: an explanation
Published
• View Publication
• BIB
After seeing how questions on the finer distribution of prime factorization -- considered inaccessible until recently -- reduce to bounding the norm of an operator defined on a graph describing factorization, we will show how to bound that norm. In essence, the graph is a strong local expander, with all eigenvalues bounded by a constant factor times the theoretical minimum (i.e., the eigenvalue bound corresponding to Ramanujan graphs). The proof will take us on a walk from graph theory to linear algebra and the geometry of numbers, and back to graph theory, aided, along the way, by a generalized sieve. This is an expository paper; the full proof has appeared as a joint preprint with M. Radziwi\{l}\{l}.
On Color Isomorphic Pairs in Proper Edge Colourings of Complete Graphs
Following the recent paper which initiated the study of colour isomorphism problems for complete graphs, we obtain upper bounds for $f_2(n,H)$ for a family of graphs $H$ obtained as the $K_0$-th rooted power of a balanced rooted tree for some sufficiently large $K_0$. The proof uses the random polynomial method of Bukh. We also obtain matching lower bounds for $1$-subdivisions of the complete bipartite graph.
Balancing permuted copies of multigraphs and integer matrices
Published
• View Publication
• BIB
Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matrices, avoiding the need for a very large canonical form over $\mathbb{Z}$. We consider several special cases in detail. In particular, the problem for symmetric matrices answers a question of Cameron and Cioabǎ on determining the eventual period for integers $λ$ such that the $λ$-fold complete graph $λK_n$ has an edge-decomposition into a given (multi)graph.
On the concentration of the chromatic number of random graphs
Published in The Electronic Journal of Combinatorics 31 (2024), Paper 1.44, 18pp
• View Publication
• BIB
Shamir and Spencer proved in the 1980s that the chromatic number of the binomial random graph G(n,p) is concentrated in an interval of length at most ω\sqrt{n}, and in the 1990s Alon showed that an interval of length ω\sqrt{n}/\log n suffices for constant edge-probabilities p \in (0,1). We prove a similar logarithmic improvement of the Shamir-Spencer concentration results for the sparse case p=p(n) \to 0, and uncover a surprising concentration `jump' of the chromatic number in the very dense case p=p(n) \to 1.