graph
34629 papers tagged with this keyword
An Ore-type condition for hamiltonicity in tough graphs
Published
• View Publication
• BIB
Let $G$ be a $t$-tough graph on $n\ge 3$ vertices for some $t>0$. It was shown by Bauer et al. in 1995 that if the minimum degree of $G$ is greater than $\frac{n}{t+1}-1$, then $G$ is hamiltonian. In terms of Ore-type hamiltonicity conditions, the problem was only studied when $t$ is between 1 and 2. In this paper, we show that if the degree sum of any two nonadjacent vertices of $G$ is greater than $\frac{2n}{t+1}+t-2$, then $G$ is hamiltonian.
An improvement to the vertex-splitting conjecture
Published
• View Publication
• BIB
For a simple graph $G$, denote by $n$, $Δ(G)$, and $χ'(G)$ its order, maximum degree, and chromatic index, respectively. A connected class 2 graph $G$ is edge-chromatic critical if $χ'(G-e)<Δ(G)+1$ for every edge $e$ of $G$. Define $G$ to be overfull if $|E(G)|>Δ(G) \lfloor n/2 \rfloor$. Clearly, overfull graphs are class 2 and any graph obtained from a regular graph of even order by splitting a vertex is overfull. Let $G$ be an $n$-vertex connected regular class 1 graph with $Δ(G) >n/3$. Hilton and Zhao in 1997 conjectured that if $G^*$ is obtained from $G$ by splitting one vertex of $G$ into two vertices, then $G^*$ is edge-chromatic critical, and they verified the conjecture for graphs $G$ with $Δ(G)\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. The graph $G^*$ is easily verified to be overfull, and so the hardness of the conjecture lies in showing that the deletion of every of its edge decreases the chromatic index. Except in 2002, Song showed that the conjecture is true for a special class of graphs $G$ with $Δ(G)\ge \frac{n}{2}$, no other progress on this conjecture had been made. In this paper, we confirm the conjecture for graphs $G$ with $Δ(G) \ge 0.75n$.
Rainbow Independent Sets in Cycles
For a given class ${\cal C}$ of graphs and given integers $m \le n$, let $f_{\cal C}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in any graph belonging to ${\cal C}$ have a (possibly partial) rainbow independent $m$-set. In this paper, we consider the case ${\cal C}=\{C_{2s+1}\}$ and show that $f_{C_{2s+1}}(s, s) = s$. Our result is a special case of the conjecture (Conjecture 2.9) proposed by Aharoni et al in \cite{Aharoni}.
Queer dual equivalence graphs
Published
• View Publication
• BIB
We introduce a new paradigm for proving the Schur $P$-positivity. Generalizing dual equivalence, we give an axiomatic definition for a family of involutions on a set of objects to be a queer dual equivalence, and we prove whenever such a family exists, the fundamental quasisymmetric generating function is Schur $P$-positive. In contrast with shifted dual equivalence, the queer dual equivalence involutions restrict to a dual equivalence when the queer involution is omitted. We highlight the difference between these two generalization with a new application to the product of Schur $P$-functions.
A new type of spectral mapping theorem for quantum walks with a moving shift on graphs
Published
• View Publication
• BIB
The conventional spectral mapping theorem for quantum walks can only be applied for walks employing a shift operator whose square is the identity. This theorem gives most of the eigenvalues of the time evolution $U$ by lifting the eigenvalues of an induced self-adjoint matrix $T$ onto the unit circle on the complex plane. We acquire a new spectral mapping theorem for the Grover walk with a shift operator whose cube is the identity on finite graphs. Moreover, graphs we can consider for a quantum walk with such a shift operator is characterized by a triangulation. We call these graphs triangulable graphs in this paper. One of the differences between our spectral mapping theorem and the conventional one is that lifting the eigenvalues of $T-1/2$ onto the unit circle gives most of the eigenvalues of $U$.
Counting spanning trees in a complete bipartite graph which contain a given spanning forest
Published in Journal of Graph Theory (2022)
• View Publication
• BIB
In this article, we extend Moon's classic formula for counting spanning trees in complete graphs containing a fixed spanning forest to complete bipartite graphs. Let $(X,Y)$ be the bipartition of the complete bipartite graph $K_{m,n}$ with $|X|=m$ and $|Y|=n$. We prove that for any given spanning forest $F$ of $K_{m,n}$ with components $T_1,T_2,\ldots,T_k$, the number of spanning trees in $K_{m,n}$ which contain all edges in $F$ is equal to $$ \frac 1{mn}\left(\prod_{i=1}^k (m_in+n_im)\right) \left (1-\sum_{i=1}^{k}\frac{m_in_i}{m_in+n_im}\right ), $$ where $m_i=|V(T_i)\cap X|$ and $n_i=|V(T_i)\cap Y|$ for $i=1,2,\ldots,k$.
Edge exploration of temporal graphs
Published
• View Publication
• BIB
We introduce a natural temporal analogue of Eulerian circuits and prove that, in contrast with the static case, it is NP-hard to determine whether a given temporal graph is temporally Eulerian even if strong restrictions are placed on the structure of the underlying graph and each edge is active at only three times. However, we do obtain an FPT-algorithm with respect to a new parameter called interval-membership-width which restricts the times assigned to different edges; we believe that this parameter will be of independent interest for other temporal graph problems. Our techniques also allow us to resolve two open question of Akrida, Mertzios and Spirakis [CIAC 2019] concerning a related problem of exploring temporal stars. Furthermore, we introduce a vertex-variant of interval-membership-width (which can be arbitrarily larger than its edge-counterpart) and use it to obtain an FPT-time algorithm for a natural vertex-exploration problem that remains hard even when interval-membership-width is bounded.
Symmetry Parameters for Mycielskian Graphs
Published
• View Publication
• BIB
The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same parameters of $G$. These symmetry parameters include determining number, distinguishing number, and cost of distinguishing.
Ramsey properties of algebraic graphs and hypergraphs
Published
• View Publication
• BIB
One of the central questions in Ramsey theory asks how small can be the size of the largest clique and independent set in a graph on $N$ vertices. By the celebrated result of Erdős from 1947, the random graph on $N$ vertices with edge probability $1/2$, contains no clique or independent set larger than $2\log_2 N$, with high probability. Finding explicit constructions of graphs with similar Ramsey-type properties is a famous open problem. A natural approach is to construct such graphs using algebraic tools. Say that an $r$-uniform hypergraph $\mathcal{H}$ is \emph{algebraic of complexity $(n,d,m)$} if the vertices of $\mathcal{H}$ are elements of $\mathbb{F}^{n}$ for some field $\mathbb{F}$, and there exist $m$ polynomials $f_1,\dots,f_m:(\mathbb{F}^{n})^{r}\rightarrow \mathbb{F}$ of degree at most $d$ such that the edges of $\mathcal{H}$ are determined by the zero-patterns of $f_1,\dots,f_m$. The aim of this paper is to show that if an algebraic graph (or hypergraph) of complexity $(n,d,m)$ has good Ramsey properties, then at least one of the parameters $n,d,m$ must be large. In 2001, Rónyai, Babai and Ganapathy considered the bipartite variant of the Ramsey problem and proved that if $G$ is an algebraic graph of complexity $(n,d,m)$ on $N$ vertices, then either $G$ or its complement contains a complete balanced bipartite graph of size $Ω_{n,d,m}(N^{1/(n+1)})$. We extend this result by showing that such $G$ contains either a clique or an independent set of size $N^{Ω(1/ndm)}$ and prove similar results for algebraic hypergraphs of constant complexity. We also obtain a polynomial regularity lemma for $r$-uniform algebraic hypergraphs that are defined by a single polynomial, that might be of independent interest. Our proofs combine algebraic, geometric and combinatorial tools.
Automorphisms and some geodesic properties of ortho-Grassmann graphs
Published
• View Publication
• BIB
Let $H$ be a complex Hilbert space. Consider the ortho-Grassmann graph $Γ^{\perp}_{k}(H)$ whose vertices are $k$-dimensional subspaces of $H$ (projections of rank $k$) and two subspaces are connected by an edge in this graph if they are compatible and adjacent (the corresponding rank-$k$ projections commute and their difference is an operator of rank $2$). Our main result is the following: if $\dim H\ne 2k$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator; if $\dim H=2k\ge 6$, then every automorphism of $Γ^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator or it is the composition of such an automorphism and the orthocomplementary map. For the case when $\dim H=2k=4$ the statement fails. To prove this statement we compare geodesics of length two in ortho-Grassmann graphs and characterise compatibility (commutativity) in terms of geodesics in Grassmann and ortho-Grassmann graphs. At the end, we extend this result on generalised ortho-Grassmann graphs associated to conjugacy classes of finite-rank self-adjoint operators.
Paths are generically realisable
We show that every $0$-$1$ multiplicity matrix for a simple graph $G$ is generically realisable for $G$. In particular, every multiplicity matrix for a path is generically realisable. We use this result to provide several families of joins of graphs that are realisable by a matrix with only two distinct eigenvalues.
Implicit Linear Algebra and Basic Circuit Theory II: port behaviour of rigid multiports
In this paper, we define the notion of rigidity for linear electrical multiports and for matroid pairs. We show the parallel between the two and study the consequences of this parallel. We present applications to testing, using purely matroidal methods, whether a connection of rigid multiports yields a linear network with unique solution. We also indicate that rigidity can be regarded as the closest notion to duality that can be hoped for, when the spaces correspond to different physical constraints, such as topological and device characteristic.
A multiport is an ordered pair $(\V^1_{AB},\A^2_{B}),$ where $\V^1_{AB}$ is the solution space on $A\uplus B$ of the Kirchhoff current and voltage equations of the graph of the multiport and $\A^2_{B}\equivd α_B+\V^2_B$ is the device characteristic of the multiport, with $A$ corresponding to port voltages and currents and $B$ corresponding to internal voltages and currents.
The pair $\{\V^1_{AB},α_B+\V^2_{B}\}$ is said to be rigid iff it has a solution $(x_A,x_B)$ for every vector $α_B$ and given a restriction $x_A$ of the solution, $x_B$ is unique.
A matroid $\M_S$ on $S,$ is a family of `independent' sets with the property that maximal independent sets contained in any given subset of $S$ have the same cardinality.
The pair $\{\M^1_{AB},\M^2_{B}\}$ is said to be rigid iff the two matroids have disjoint bases which cover $B.$ We show that the properties of rigid pairs of matroids closely parallel those of rigid multiports.
We use the methods developed in the paper to show that a multiport with independent and controlled sources and positive or negative resistors, whose parameters can be taken to be algebraically independent over $\Q,$ is rigid, if certain simple topological conditions are satisfied by the device edges.
The Sombor index of trees and unicyclic graphs with given matching number
Published
• View Publication
• BIB
In 2021, the Sombor index was introduced by Gutman, which is a new degree-based topological molecular descriptors. The Sombor index of a graph $G$ is defined as $SO(G) =\sum_{uv\in E(G)}\sqrt{d^2_G(u)+d^2_G(v)}$, where $d_G(v)$ is the degree of the vertex $v$ in $G$. Let $\mathscr{T}_{n,m}$ and $\mathscr{U}_{n,m}$ be the set of trees and unicyclic graphs on $n$ vertices with fixed matching number $m$, respectively. In this paper, the tree and the unicyclic graph with the maximum Sombor index are determined among $\mathscr{T}_{n,m}$ and $\mathscr{U}_{n,m}$, respectively.
Queue layouts and nonrepetitive colouring of planar graphs and powers of trees
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood recently in [Planar graphs have bounded queue-number, Journal of the ACM, Volume 67, Issue 4, Article No.: 22, August 2020] showed some attractive graph product structure theorems for planar graphs. By using the product structure, they proved that planar graphs have bounded queue-number $48$; in [Planar graphs have bounded nonrepetitive chromatic number, Advances in Combinatorics, 5, 11 pp, 2020], the authors proved that planar graphs have bounded nonrepetitive chromatic number $768$.
In this paper, still by using some product structure theorem, we improve the upper bound of queue-number of planar graphs to $27$ and the non-repetitive chromatic number to $320$. We also study powers of trees. We show a graph product structure theorem of the $k$-th power $T^k$ of tree $T$, then use it giving an upper bound of the nonrepetitive~chromatic~number of $T^k$. We also give an asymptotically tight upper bound of the queue-number of $T^k$.
Maximally distance-unbalanced trees
Published
• View Publication
• BIB
For a graph $G$, and two distinct vertices $u$ and $v$ of $G$, let $n_G(u,v)$ be the number of vertices of $G$ that are closer in $G$ to $u$ than to $v$. Miklavič and Šparl (arXiv:2011.01635v1) define the distance-unbalancedness ${\rm uB}(G)$ of $G$ as the sum of $|n_G(u,v)-n_G(v,u)|$ over all unordered pairs of distinct vertices $u$ and $v$ of $G$. For positive integers $n$ up to $15$, they determine the trees $T$ of fixed order $n$ with the smallest and the largest values of ${\rm uB}(T)$, respectively. While the smallest value is achieved by the star $K_{1,n-1}$ for these $n$, which we then proved for general $n$ (Minimum distance-unbalancedness of trees, Journal of Mathematical Chemistry, DOI 10.1007/s10910-021-01228-4), the structure of the trees maximizing the distance-unbalancedness remained unclear. For $n$ up to $15$ at least, all these trees were subdivided stars. Contributing to problems posed by Miklavič and Šparl, we show $$\max\Big\{{\rm uB}(T):T\mbox{ is a tree of order }n\Big\} =\frac{n^3}{2}+o(n^3)$$ and $$\max\Big\{{\rm uB}(S(n_1,\ldots,n_k)):1+n_1+\cdots+n_k=n\Big\} =\left(\frac{1}{2}-\frac{5}{6k}+\frac{1}{3k^2}\right)n^3+O(kn^2),$$ where $S(n_1,\ldots,n_k)$ is the subdivided star such that removing its center vertex leaves paths of orders $n_1,\ldots,n_k$.
Formal conjugacy growth in graph products I
Published
• View Publication
• BIB
In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.
The size of Betti tables of edge ideals arising from bipartite graphs
Published in Proc. Amer. Math. Soc. 150 (2022), no. 12, 5073-5083
• View Publication
• BIB
Let $\operatorname{pd}(I(G))$ and $\operatorname{reg}(I(G))$ respectively denote the projective dimension and the regularity of the edge ideal $I(G)$ of a graph $G$. For any positive integer $n$, we determine all pairs $(\operatorname{pd}(I(G)),\, \operatorname{reg}(I(G)))$ as $G$ ranges over all connected bipartite graphs on $n$ vertices.
Random 2-cell embeddings of multistars
Published in Proceedings of the American Mathematical Society 150(9), 3699-3713, 2022; Proceedings: European Conference of Combinatorics, Graph Theory and Applications, EUROCOMB 2021
• View Publication
• BIB
Random 2-cell embeddings of a given graph $G$ are obtained by choosing a random local rotation around every vertex. We analyze the expected number of faces, $\mathbb{E}[F_G]$, of such an embedding which is equivalent to studying its average genus. So far, tight results are known for two families called monopoles and dipoles. We extend the dipole result to a more general family called multistars, i.e., loopless multigraphs in which there is a vertex incident with all the edges. In particular, we show that the expected number of faces of every multistar with $n$ nonleaf edges lies in an interval of length $2/(n + 1)$ centered at the expected number of faces of an $n$-edge dipole. This allows us to derive bounds on $\mathbb{E}[F_G]$ for any given graph $G$ in terms of vertex degrees. We conjecture that $\mathbb{E}[F_G ] \le O(n)$ for any simple $n$-vertex graph $G$.
Combinatorics via Closed Orbits: Number Theoretic Ramanujan Graphs are not Unique Neighbor Expanders
Published
• View Publication
• BIB
The question of finding expander graphs with strong vertex expansion properties such as unique neighbor expansion and lossless expansion is central to computer science. A barrier to constructing these is that strong notions of expansion could not be proven via the spectral expansion paradigm.
A very symmetric and structured family of optimal spectral expanders (i.e., Ramanujan graphs) was constructed using number theory by Lubotzky, Phillips and Sarnak, and was subsequently generalized by others. We call such graphs Number Theoretic Ramanujan Graphs. These graphs are not only spectrally optimal, but also posses strong symmetries and rich structure. Thus, it has been widely conjectured that number theoretic Ramanujan graphs are lossless expanders, or at least unique neighbor expanders.
In this work we disprove this conjecture, by showing that there are number theoretic Ramanujan graphs that are not even unique neighbor expanders. This is done by introducing a new combinatorial paradigm that we term the closed orbit method.
The closed orbit method allows one to construct finite combinatorial objects with extermal substructures. This is done by observing that there exist infinite combinatorial structures with extermal substructures, coming from an action of a subgroup of the automorphism group of the structure. The crux of our idea is a systematic way to construct a finite quotient of the infinite structure containing a simple shadow of the infinite substructure, which maintains its extermal combinatorial property.
Other applications of the method are to the edge expansion of number theoretic Ramanujan graphs and vertex expansion of Ramanujan complexes. Finally, in the field of graph quantum ergodicity we produce number theoretic Ramanujan graphs with an eigenfunction of small support that corresponds to the zero eigenvalue. This again contradicts common expectations.
Zero sum cycles in complete digraphs
Given a non-trivial finite Abelian group $(A,+)$, let $n(A) \ge 2$ be the smallest integer such that for every labelling of the arcs of the bidirected complete graph of order $n(A)$ with elements from $A$ there exists a directed cycle for which the sum of the arc-labels is zero. The problem of determining $n(\mathbb{Z}_q)$ for integers $q \ge 2$ was recently considered by Alon and Krivelevich, who proved that $n(\mathbb{Z}_q)=O(q \log q)$. Here we improve their bound and show that $n(\mathbb{Z}_q)$ grows linearly. More generally we prove that for every finite Abelian group $A$ we have $n(A) \le 8|A|$, while if $|A|$ is prime then $n(A) \le \frac{3}{2}|A|$. As a corollary we also obtain that every $K_{16q}$-minor contains a cycle of length divisible by $q$ for every integer $q \ge 2$, which improves a result by Alon and Krivelevich.