graph
35436 papers tagged with this keyword
Many cliques with few edges
Published in Electronic Journal of Combinatorics, Volume 28, Issue 1 (2021), P1.26
• View Publication
• BIB
Recently Cutler and Radcliffe proved that the graph on $n$ vertices with maximum degree at most $r$ having the most cliques is a disjoint union of $\lfloor n/(r+1)\rfloor$ cliques of size $r+1$ together with a clique on the remainder of the vertices. It is very natural also to consider this question when the limiting resource is edges rather than vertices. In this paper we prove that among graphs with $m$ edges and maximum degree at most $r$, the graph that has the most cliques of size at least two is the disjoint union of $\bigl\lfloor m \bigm/\binom{r+1}{2} \bigr\rfloor$ cliques of size $r+1$ together with the colex graph using the remainder of the edges.
Achromatic number, achromatic index and diachromatic number of circulant graphs and digraphs
In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $α(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general, we give the lower bounds $α(C_{4q^2+aq+1}(1,a))\geq 4q+1$ and $dac(\overrightarrow{C}_{8q^2+2(a+4)q+a+3}(1,a))\geq 4q+3$ when $a$ is a non quadratic residue of $\mathbb{Z}_{4q+1}$ for graphs and $\mathbb{Z}_{4q+3}$ for digraphs, and the equality is attained, in both cases, for $a=3$. Finally, we determine the achromatic index for circulant graphs of $q^2+q+1$ vertices when the projective cyclic plane of odd order $q$ exists.
Spectra of infinite graphs via freeness with amalgamation
Published
• View Publication
• BIB
We use tools from free probability to study the spectra of Hermitian operators on infinite graphs. Special attention is devoted to universal covering trees of finite graphs. For operators on these graphs we derive a new variational formula for the spectral radius and provide new proofs of results due to Sunada and Aomoto using free probability.
With the goal of extending the applicability of free probability techniques beyond universal covering trees, we introduce a new combinatorial product operation on graphs and show that, in the non-commutative probability context, it corresponds to the notion of freeness with amalgamation. We show that Cayley graphs of amalgamated free products of groups, as well as universal covering trees, can be constructed using our graph product.
On existence of perfect bitrades in Hamming graphs
Published
• View Publication
• BIB
A pair $(T_0,T_1)$ of disjoint sets of vertices of a graph $G$ is called a perfect bitrade in $G$ if any ball of radius 1 in $G$ contains exactly one vertex in $T_0$ and $T_1$ or none simultaneously. The volume of a perfect bitrade $(T_0,T_1)$ is the size of $T_0$. In particular, if $C_0$ and $C_1$ are distinct perfect codes with minimum distance $3$ in $G$ then $(C_0\setminus C_1,C_1\setminus C_0)$ is a perfect bitrade. For any $q\geq 3$, $r\geq 1$ we construct perfect bitrades in the Hamming graph $H(qr+1,q)$ of volume $(q!)^r$ and show that for $r=1$ their volume is minimum.
Maximal edge colorings of graphs
For a graph $G$ of order $n$ a maximal edge coloring is a proper edge coloring with $χ'(K_n)$ colors such that adding any edge to $G$ in any color makes it improper. Meszka and Tyniec proved that for some values of the number of edges there are no graphs with a maximal edge coloring, while for some other values, they provided constructions of such graphs. However, for many values of the number of edges determining whether there exists any graph with a maximal edge coloring remained open. We give a complete solution of this problem.
Extreme Values of the Fiedler Vector on Trees
Published
• View Publication
• BIB
Let $G$ be a connected tree on $n$ vertices and let $L = D-A$ denote the Laplacian matrix on $G$. The second-smallest eigenvalue $λ_{2}(G) > 0$, also known as the algebraic connectivity, as well as the associated eigenvector $φ_2$ have been of substantial interest. We investigate the question of when the maxima and minima of $φ_2$ are assumed at the endpoints of the longest path in $G$. Our results also apply to more general graphs that `behave globally' like a tree but can exhibit more complicated local structure. The crucial new ingredient is a reproducing formula for the eigenvector $φ_k$.
Extremal and Ramsey results on graph blowups
Published
• View Publication
• BIB
Recently, Souza introduced blowup Ramsey numbers as a generalization of bipartite Ramsey numbers. For graphs $G$ and $H$, say $G\overset{r}{\longrightarrow} H$ if every $r$-edge-coloring of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. Then the blowup Ramsey number of $G,H,r,$ and $t$ is defined as the minimum $n$ such that $G[n] \overset{r}{\longrightarrow} H[t]$. Souza proved upper and lower bounds on $n$ that are exponential in $t$, and conjectured that the exponential constant does not depend on $G$. We prove that the dependence on $G$ in the exponential constant is indeed unnecessary, but conjecture that some dependence on $G$ is unavoidable.
An important step in both Souza's proof and ours is a theorem of Nikiforov, which says that if a graph contains a constant fraction of the possible copies of $H$, then it contains a blowup of $H$ of logarithmic size. We also provide a new proof of this theorem with a better quantitative dependence.
Subdivided Claws and the Clique-Stable Set Separation Property
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a class of graphs closed under taking induced subgraphs. We say that $\mathcal{C}$ has the {\em clique-stable set separation property} if there exists $c \in \mathbb{N}$ such that for every graph $G \in \mathcal{C}$ there is a collection $\mathcal{P}$ of partitions $(X,Y)$ of the vertex set of $G$ with $|\mathcal{P}| \leq |V(G)|^c$ and with the following property: if $K$ is a clique of $G$, and $S$ is a stable set of $G$, and $K \cap S =\emptyset$, then there is $(X,Y) \in \mathcal{P}$ with $K \subseteq X$ and $S \subseteq Y$. In 1991 M. Yannakakis conjectured that the class of all graphs has the clique-stable set separation property, but this conjecture was disproved by Göös in 2014. Therefore it is now of interest to understand for which classes of graphs such a constant $c$ exists. In this paper we define two infinite families $\mathcal{S}, \mathcal{K}$ of graphs and show that for every $S \in \mathcal{S}$ and $K \in \mathcal{K}$, the class of graphs with no induced subgraph isomorphic to $S$ or $K$ has the clique-stable set separation property.
On conjectures of network distance measures by using graph spectra
In this note we resolve three conjectures from [M. Dehmer, S. Pickl, Y. Shi, G. Yu, \emph{New inequalities for network distance measures by using graph spectra}, Discrete Appl. Math. 252 (2019), 17--27] on the comparison of distance measures based on the graph spectra, by constructing families of counterexamples and using computer search.
A Fast Fourier Transform for the Johnson graph
Published
• View Publication
• BIB
The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis.
The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. The factorization is based on the construction of $n-1$ intermediate bases which are parametrized via the Robinson-Schensted insertion algorithm. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$.
We show that each one of these sparse matrices can be constructed using $O(\binom{n}{k})$ arithmetic operations. Our construction does not depend on numerical methods. Instead, they are obtained by solving small linear systems with integer coefficients derived from the Jucys-Murphy operators. Then both the construction and the succesive application of all these $n-1$ matrices can be performed using $O(n \binom{n}{k})$ operations.
As a consequence, we show that the problem of computing all the weights of the isotypic components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$.
The Planted Matching Problem: Phase Transitions and Exact Results
Published
• View Publication
• BIB
We study the problem of recovering a planted matching in randomly weighted complete bipartite graphs $K_{n,n}$. For some unknown perfect matching $M^*$, the weight of an edge is drawn from one distribution $P$ if $e \in M^*$ and another distribution $Q$ if $e \notin M^*$. Our goal is to infer $M^*$, exactly or approximately, from the edge weights. In this paper we take $P=\exp(λ)$ and $Q=\exp(1/n)$, in which case the maximum-likelihood estimator of $M^*$ is the minimum-weight matching $M_{\text{min}}$. We obtain precise results on the overlap between $M^*$ and $M_{\text{min}}$, i.e., the fraction of edges they have in common. For $λ\ge 4$ we have almost perfect recovery, with overlap $1-o(1)$ with high probability. For $λ< 4$ the expected overlap is an explicit function $α(λ) < 1$: we compute it by generalizing Aldous' celebrated proof of the $ζ(2)$ conjecture for the un-planted model, using local weak convergence to relate $K_{n,n}$ to a type of weighted infinite tree, and then deriving a system of differential equations from a message-passing algorithm on this tree.
Glauber dynamics for Ising models on random regular graphs: cut-off and metastability
Published
• View Publication
• BIB
Consider random $d$-regular graphs, i.e., random graphs such that there are exactly $d$ edges from each vertex for some $d\ge 3$. We study both the configuration model version of this graph, which has occasional multi-edges and self-loops, as well as the simple version of it, which is a $d$-regular graph chosen uniformly at random from the collection of all $d$-regular graphs.
In this paper, we discuss mixing times of Glauber dynamics for the Ising model with an external magnetic field on a random $d$-regular graph, both in the quenched as well as the annealed settings. Let $β$ be the inverse temperature, $β_c$ be the critical temperature and $B$ be the external magnetic field. Concerning the annealed measure, we show that for $β> β_c$ there exists $\hat{B}_c(β)\in (0,\infty)$ such that the model is metastable (i.e., the mixing time is exponential in the graph size $n$) when $β> β_c$ and $0 \leq B < \hat{B}_c(β)$, whereas it exhibits the cut-off phenomenon at $c_\star n \log n$ with a window of order $n$ when $β< β_c$ or $β> β_c$ and $B>\hat{B}_c(β)$. Interestingly, $\hat{B}_c(β)$ coincides with the critical external field of the Ising model on the $d$-ary tree (namely, above which the model has a unique Gibbs measure). Concerning the quenched measure, we show that there exists $B_c(β)$ with $B_c(β) \leq \hat{B}_c(β)$ such that for $β> β_c$, the mixing time is at least exponential along some subsequence $(n_k)_{k\geq 1}$ when $0 \leq B < B_c(β)$, whereas it is less than or equal to $Cn\log n$ when $B>\hat{B}_c(β)$. The quenched results also hold for the model conditioned on simplicity, for the annealed results this is unclear.
Asymptotic confirmation of the Faudree-Lehel Conjecture on irregularity strength for all but extreme degrees
The irregularity strength of a graph $G$, $s(G)$, is the least $k$ admitting a $\{1,2,\ldots,k\}$-weighting of the edges of $G$ assuring distinct weighted degrees of all vertices, or equivalently the least possible maximal edge multiplicity in an irregular multigraph obtained of $G$ via multiplying some of its edges. The most well-known open problem concerning this graph invariant is the conjecture posed in 1987 by Faudree and Lehel that there exists a constant $C$ such that $s(G)\leq \frac{n}{d}+C$ for each $d$-regular graph $G$ with $n$ vertices and $d\geq 2$ (while a straightforward counting argument yields $s(G)\geq \frac{n+d-1}{d}$). The best known results towards this imply that $s(G)\leq 6\lceil\frac{n}{d}\rceil$ for every $d$-regular graph $G$ with $n$ vertices and $d\geq 2$, while $s(G)\leq (4+o(1))\frac{n}{d}+4$ if $d\geq n^{0.5}\ln n$.
We show that the conjecture of Faudree and Lehel holds asymptotically in the cases when $d$ is neither very small nor very close to $n$. We in particular prove that for large enough $n$ and $d\in [\ln^8n,\frac{n}{\ln^3 n}]$, $s(G)\leq \frac{n}{d}(1+\frac{8}{\ln n})$, and thereby we show that $s(G) = \frac{n}{d}(1+o(1))$ then. We moreover prove the latter to hold already when $d\in [\ln^{1+\varepsilon}n,\frac{n}{\ln^\varepsilon n}]$ where $\varepsilon$ is an arbitrary positive constant.
Erdős-Pósa from ball packing
Published in SIAM Journal on Discrete Mathematics, 34/3:1609--1619, 2020
• View Publication
• BIB
A classic theorem of Erdős and Pósa (1965) states that every graph has either $k$ vertex-disjoint cycles or a set of $O(k \log k)$ vertices meeting all its cycles. While the standard proof revolves around finding a large `frame' in the graph (a subdivision of a large cubic graph), an alternative way of proving this theorem is to use a ball packing argument of Kühn and Osthus (2003) and Diestel and Rempel (2005). In this paper, we argue that the latter approach is particularly well suited for studying edge variants of the Erdős-Pósa theorem.
As an illustration, we give a short proof of a theorem of Bruhn, Heinlein, and Joos (2019), that cycles of length at least $\ell$ have the so-called edge-Erdős-Pósa property. More precisely, we show that every graph $G$ either contains $k$ edge-disjoint cycles of length at least $\ell$ or an edge set $F$ of size $O(k\ell \cdot \log (k\ell))$ such that $G-F$ has no cycle of length at least $\ell$. For fixed $\ell$, this improves on the previously best known bound of $O(k^2 \log k +k\ell)$.
Graphs with no induced $K_{2,t}$
Published in Electron. J. Comb. 28 (2021), P1.19
• View Publication
• BIB
Consider a graph $G$ on $n$ vertices with $α\binom{n}{2}$ edges which does not contain an induced $K_{2, t}$ ($t \geqslant 2$). How large does $α$ have to be to ensure that $G$ contains, say, a large clique or some fixed subgraph $H$? We give results for two regimes: for $α$ bounded away from zero and for $α= o(1)$.
Our results for $α= o(1)$ are strongly related to the Induced Turán numbers which were recently introduced by Loh, Tait, Timmons and Zhou. For $α$ bounded away from zero, our results can be seen as a generalisation of a result of Gyárfás, Hubenko and Solymosi and more recently Holmsen (whose argument inspired ours).
Long Cycles and Spanning Subgraphs of Locally Maximal 1-planar Graphs
Published in Journal of Graph Theory 2020
• View Publication
• BIB
A graph is $1$-planar if it has a drawing in the plane such that each edge is crossed at most once by another edge. Moreover, if this drawing has the additional property that for each crossing of two edges the end vertices of these edges induce a complete subgraph, then the graph is locally maximal $1$-planar. For a $3$-connected locally maximal $1$-planar graph $G$, we show the existence of a spanning $3$-connected planar subgraph and prove that $G$ is hamiltonian if $G$ has at most three $3$-vertex-cuts, and that $G$ is traceable if $G$ has at most four $3$-vertex-cuts. Moreover, infinitely many non-traceable $5$-connected $1$-planar graphs are presented.
Symmetrical 2-extensions of the 3-dimensional grid. I
Published
• View Publication
• BIB
For a positive integer $d$, a connected graph $Γ$ is a symmetrical 2-extension of the $d$-dimensional grid $Λ^d$ if there exists a vertex-tran\-sitive group $G$ of automorphisms of $Γ$ and its imprimitivity system $σ$ with blocks of order 2 such that there exists an isomorphism $\varphi$ of the quotient graph $Γ/σ$ onto $Λ^d$. The tuple $(Γ, G, σ, \varphi)$ with specified components is called a realization of the symmetrical 2-extension $Γ$ of the grid $Λ^{d}$. Two realizations $(Γ_1, G_1,$ $σ_1, \varphi_1)$ and $(Γ_2, G_2, σ_2, \varphi_2)$ are called equivalent if there exists an isomorphism of the graph $Γ_1$ onto $Γ_2$ which maps $σ_1$ onto $σ_2$. V. Trofimov proved that, up to equivalence, there are only finitely many realizations of symmetrical $2$-extensions of $Λ^{d}$ for each positive integer $d$. E. Konovalchik and K. Kostousov found all, up to equivalence, realizations of symmetrical 2-extensions of the grid $Λ^2$. In this work we found all, up to equivalence, realizations $(Γ, G, σ, \varphi)$ of symmetrical 2-extensions of the grid $Λ^3$ for which only the trivial automorphism of $Γ$ preserves all blocks of $σ$ (we prove that there are 5573 such realizations, and that among corresponding graphs $Γ$ there are 5350 pairwise non-isomorphic).
Second powers of cover ideals of paths
Published in Algebra Colloq. 29 (2022), no. 4, 669-686
• View Publication
• BIB
We show that the second power of the cover ideal of a path graph has linear quotients. To prove our result we construct a recursively defined order on the generators of the ideal which yields linear quotients. Our construction has a natural generalization to the larger class of chordal graphs. This generalization allows us to raise some questions that are related to some open problems about powers of cover ideals of chordal graphs.
Short proof that Kneser graphs are Hamiltonian for $n\geq 4k$
Published
• View Publication
• BIB
For integers $n\geq k\geq 1$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian and later improved this to $n\geq 2.62k+1$. Furthermore, Chen and Füredi gave a short proof that if $k | n$, Kneser graphs are Hamiltonian for $n\geq 3k$. In this note, we present a short proof that does not need the divisibility condition, i.e., we give a short proof that $K(n,k)$ is Hamiltonian for $n\geq 4k$.
The size of graphs with restricted rainbow $2$-connection number
Let $k$ be a positive integer, and $G$ be a $k$-connected graph. An edge-coloured path is \emph{rainbow} if all of its edges have distinct colours. The \emph{rainbow $k$-connection number} of $G$, denoted by $rc_k(G)$, is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint rainbow paths. The function $rc_k(G)$ was introduced by Chartrand, Johns, McKeon and Zhang in 2009, and has since attracted significant interest. Let $t_k(n,r)$ denote the minimum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\le r$. Let $s_k(n,r)$ denote the maximum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\ge r$. The functions $t_1(n,r)$ and $s_1(n,r)$ have previously been studied by various authors. In this paper, we study the functions $t_2(n,r)$ and $s_2(n,r)$. We determine bounds for $t_2(n,r)$ which imply that $t_2(n,2)=(1+o(1))n\log_2 n$, and $t_2(n,r)$ is linear in $n$ for $r\ge 3$. We also provide some remarks about the function $s_2(n,r)$.