graph
35252 papers tagged with this keyword
Monochromatic Subgraphs in Randomly Colored Dense Multiplex Networks
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs $H_1, H_2, \ldots, H_d$ we derive the joint distribution of $(T(H_1, G_n^{(1)}), T(H_2, G_n^{(2)}), \ldots, T(H_d, G_n^{(d)}))$, where $\boldsymbol{G}_n = (G_n^{(1)}, G_n^{(2)}, \ldots, G_n^{(d)})$ is a collection of dense graphs on the same vertex set converging in the joint cut-metric. The limiting distribution is the sum of 2 independent components: a multivariate Gaussian and a sum of independent bivariate stochastic integrals. This extends previous results on the marginal convergence of monochromatic subgraphs in a sequence of graphs to the joint convergence of a finite collection of monochromatic subgraphs in a sequence of multiplex networks. Several applications and examples are discussed.
Computing the $p$-Laplacian eigenpairs of signed graphs
As a nonlinear extension of the graph Laplacian, the graph $p$-Laplacian has various applications in many fields. Due to the nonlinearity, it is very difficult to compute the eigenvalues and eigenfunctions of graph $p$-Laplacian. In this paper, we establish the equivalence between the graph $p$-Laplacian eigenproblem and the tensor eigenproblem when $p$ is even. Building on this result, algorithms designed for tensor eigenproblems can be adapted to compute the eigenpairs of the graph $p$-Laplacian. For general $p>1$, we give a fast and convergent algorithm to compute the largest eigenvalue and the corresponding eigenfunction of the signless graph $p$-Laplacian. As an application, we provide a new criterion to determine when a graph is not a subgraph of another one, which outperforms existing criteria based on the linear Laplacian and adjacency matrices. Our work highlights the deep connections and numerous similarities between the spectral theories of tensors and graph $p$-Laplacians.
Optimization algorithms for Carleson and sparse collections of sets
Published
• View Publication
• BIB
Carleson and sparse collections of sets play a central role in dyadic harmonic analysis. We employ methods from optimization theory to study such collections. First, we present a strongly polynomial algorithm to compute the Carleson constant of a collection of sets, improving on the recent approximation algorithm of Rey. Our algorithm is based on submodular function minimization. Second, we provide an algorithm showing that any Carleson collection is sparse, achieving optimal dependence of the respective constants and thus providing a constructive proof of a result of Hänninen. Our key insight is a reformulation of the duality between the Carleson condition and sparseness in terms of the duality between the maximum flow and the minimum cut in a weighted directed graph.
On subgroup perfect codes in vertex-transitive graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set $V$ of a graph $Γ$ is called a perfect code in $Γ$ if every vertex in $V\setminus C$ is adjacent to exactly one vertex in $C$. Given a group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a perfect code of the pair $(G,H)$ if there exists a coset graph $\mathrm{Cos}(G,H,U)$ such that the set of left cosets of $H$ in $A$ is a perfect code in $\mathrm{Cos}(G,H,U)$. In particular, $A$ is called a perfect code of $G$ if $A$ is a perfect code of the pair $(G,1)$. In this paper, we give a characterization of $A$ to be a perfect code of the pair $(G,H)$ under the assumption that $H$ is a perfect code of $G$. As a corollary, we derive an additional sufficient and necessary condition for $A$ to be a perfect code of $G$. Moreover, we establish conditions under which $A$ is not a perfect code of $(G,H)$, which is applied to construct infinitely many counterexamples to a question posed by Wang and Zhang [\emph{J.~Combin.~Theory~Ser.~A}, 196 (2023) 105737]. Furthermore, we initiate the study of determining which maximal subgroups of $S_n$ are perfect codes.
Spectral radius and rainbow $k$-factors of graphs
Published
• View Publication
• BIB
Let $\mathcal{G}=\{G_1,\ldots, G_{\frac{kn}{2}}\}$ be a set of graphs on the same vertex set $V=\{1,\dots,n\}$ where $k\cdot n$ is even. We say $\mathcal{G}$ admits a rainbow $k$-factor if there exists a $k$-regular graph $F$ on the vertex set $V$ such that all edges of $F$ are from different members of $\mathcal{G}$. In this paper, we show a sufficient spectral condition for the existence of a rainbow $k$-factor for $k\geq 2$, which is that if $ρ(G_i)\geqρ(K_{k-1}\vee(K_1\cup K_{n-k}))$ for each $G_i\in \mathcal{G}$, then $\mathcal{G}$ admits a rainbow $k$-factor unless $G_1=G_2=\cdots=G_{\frac{kn}{2}}\cong K_{k-1}\vee(K_1\cup K_{n-k})$.
Strictly Metrizable Graphs are Minor-Closed
A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every consistent path system in $G$ can be realized as the system of unique geodesics with respect to some assignment of positive edge weight. In this paper, we show that the family of strictly metrizable graphs is minor-closed.
Metric graphs of negative type
The negative type inequalities of a metric space are closely tied to embeddability. A result by Gupta, Newman, and Rabinovich implies that if a metric graph $G$ does not contain a theta submetric as an embedding, then $G$ has negative type. We show the converse: if a metric graph $G$ contains a theta, then it does not have negative type.
$(2,4)$-Colorability of Planar Graphs Excluding $3$-, $4$-, and $6$-Cycles
Published
• View Publication
• BIB
A defective $k$-coloring is a coloring on the vertices of a graph using colors $1,2, \dots, k$ such that adjacent vertices may share the same color. A $(d_1,d_2)$-\emph{coloring} of a graph $G$ is a defective $2$-coloring of $G$ such that any vertex colored by color $i$ has at most $d_i$ adjacent vertices of the same color, where $i\in\{1,2\}$. A graph $G$ is said to be $(d_1,d_2)$-\emph{colorable} if it admits a $(d_1,d_2)$-coloring.
Defective $2$-coloring in planar graphs without $3$-cycles, $4$-cycles, and $6$-cycles has been investigated by Dross and Ochem, as well as Sittitrai and Pimpasalee. They showed that such graphs are $(0,6)$-colorable and $(3,3)$-colorable, respectively. In this paper, we proved that these graphs are also $(2,4)$-colorable.
Bollobás-Nikiforov conjecture holds asymptotically almost surely
Published
• View Publication
• BIB
Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $
λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.
Edge ideals and their asymptotic syzygies
Published
• View Publication
• BIB
Let $G$ be a finite simple graph, and let $I(G)$ denote its edge ideal. In this paper, we investigate the asymptotic behavior of the syzygies of powers of edge ideals through the lens of homological shift ideals $\text{HS}_i(I(G)^k)$. We introduce the notion of the $i$th homological strong persistence property for monomial ideals $I$, providing an algebraic characterization that ensures the chain of inclusions $\text{Ass}\,\text{HS}_i(I)\subseteq\text{Ass}\,\text{HS}_i(I^2)\subseteq\text{Ass}\,\text{HS}_i(I^3) \subseteq\cdots$. We prove that edge ideals possess both the $0$th and $1$st homological strong persistence properties. To this end, we explicitly describe the first homological shift algebra of $I(G)$ and show that $\text{HS}_1(I(G)^{k+1}) = I(G) \cdot \text{HS}_1(I(G)^k)$ for all $k \ge 1$. Finally, we conjecture that if $I(G)$ has a linear resolution, then $\text{HS}_i(I(G)^k)$ also has a linear resolution for all $k \gg 0$, and we present partial results supporting this conjecture.
Borel fractional perfect matchings in quasi-transitive amenable graphs
We show that if a locally finite Borel graph with quasitransitive amenable components admits a fractional perfect matching, it will admit a Borel fractional perfect matching. In particular, if a countable amenable quasitransitive graph admits a fractional perfect matching then its Bernoulli graph admits a Borel fractional perfect matching.
Stable Set Polytopes with Rank $|V(G)|/3$ for the Lovász--Schrijver SDP Operator
We study the lift-and-project rank of the stable set polytope of graphs with respect to the Lovász--Schrijver SDP operator $\text{LS}_+$ applied to the fractional stable set polytope. In particular, we show that for every positive integer $\ell$, the smallest possible graph with $\text{LS}_+$-rank $\ell$ contains $3\ell$ vertices. This result is sharp and settles a conjecture posed by Lipták and the second author in 2003, as well as answers a generalization of a problem posed by Knuth in 1994. We also show that for every positive integer $\ell$ there exists a vertex-transitive graph on $4\ell+12$ vertices with $\text{LS}_+$-rank at least $\ell$.
3D-grids are not transducible from planar graphs
We prove that the class of 3D-grids is cannot be transduced from planar graphs, and more generally, from any class of graphs of bounded Euler genus. To prove our result, we introduce a new structural tool called slice decompositions, and show that every graph class transducible from a class of graphs of bounded Euler genus is a perturbation of a graph class that admits slice decompositions.
A rainbow Dirac theorem for loose Hamilton cycles in hypergraphs
Published
• View Publication
• BIB
A meta-conjecture of Coulson, Keevash, Perarnau and Yepremyan states that above the extremal threshold for a given spanning structure in a (hyper-)graph, one can find a rainbow version of that spanning structure in any suitably bounded colouring of the host (hyper-)graph. We solve one of the most pertinent outstanding cases of this conjecture, by showing that for any $1\leq j\leq k-1$, if $G$ is a $k$-uniform hypergraph above the $j$-degree threshold for a loose Hamilton cycle, then any globally bounded colouring of $G$ contains a rainbow loose Hamilton cycle.
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$.
We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
Chip-Firing on Infinite $k$-ary Trees
Published
• View Publication
• BIB
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the same for the total number of fires.
Strong Ramsey game on two boards
The strong Ramsey game $R(\mathcal{B}, H)$ is a two-player game played on a graph $\mathcal{B}$, referred to as the board, with a target graph $H$. In this game, two players, $P_1$ and $P_2$, alternately claim unclaimed edges of $\mathcal{B}$, starting with $P_1$. The goal is to claim a subgraph isomorphic to $H$, with the first player achieving this declared the winner. A fundamental open question, persisting for over three decades, asks whether there exists a graph $H$ such that in the game $R(K_n, H)$, $P_1$ does not have a winning strategy in a bounded number of moves as $n \to \infty$.
In this paper, we shift the focus to the variant $R(K_n \sqcup K_n, H)$, introduced by David, Hartarsky, and Tiba, where the board $K_n \sqcup K_n$ consists of two disjoint copies of $K_n$. We prove that there exist infinitely many graphs $H$ such that $P_1$ cannot win in $R(K_n \sqcup K_n, H)$ within a bounded number of moves through a concise proof. This perhaps provides evidence for the existence of examples to the above longstanding open problem.
Relative Turán densities of ordered graphs
We introduce a modification of the Turán density of ordered graphs and investigate this graph parameter.
On decycling and forest numbers of Cartesian products of trees
Published in Bull. Malays. Math. Sci. Soc. 48 (2025) Paper 200, 9 pp
• View Publication
• BIB
The decycling number $\nabla(G)$ of a graph $G$ is the minimum number of vertices that must be removed to eliminate all cycles in $G$. The forest number $f(G)$ is the maximum number of vertices that induce a forest in $G$. So $\nabla(G) + f(G) = |V(G)|$. For the Cartesian product $T \,\square\, T'$ of trees $T$ and $T'$ it is proved that $\nabla(S_n \,\square\, S_{n'}) \leq \nabla(T \,\square\, T')$, thus resolving the conjecture of Wang and Wu asserting that $f(T \,\square\, T') \leq f(S_n \,\square\, S_{n'})$. It is shown that $\nabla(T \,\square\, T') \ge |V(T)| - 1$ and the equality cases characterized. For prisms over trees, it is proved that $\nabla(T\,\square\, K_2) = α'(T)$, and for arbitrary graphs $G_1$ and $G_2$, it is proved that $\nabla(G_1 \,\square\, G_2) \geq α'(G_1) α'(G_2)$, where $α'$ is the matching number.
Feedback Arc Sets and Feedback Arc Set Decompositions in Weighted and Unweighted Oriented Graphs
Let $D=(V(D),A(D))$ be a digraph with at least one directed cycle. A set $F$ of arcs is a feedback arc set (FAS) if $D-F$ has no directed cycle. The FAS decomposition number ${\rm fasd}(D)$ of $D$ is the maximum number of pairwise disjoint FASs whose union is $A(D)$. The directed girth $g(D)$ of $D$ is the minimum length of a directed cycle of $D$. Note that ${\rm fasd}(D)\le g(D).$ The FAS decomposition number appears in the well-known and far-from-solved conjecture of Woodall (1978) stating that for every planar digraph $D$ with at least one directed cycle, ${\rm fasd}(D)=g(D).$ The degree of a vertex of $D$ is the sum of its in-degree and out-degree.
Let $D$ be an arc-weighted digraph and let ${\rm fas}_w(D)$ denote the minimum weight of its FAS. In this paper, we study bounds on ${\rm fasd}(D)$, ${\rm fas}_w(D)$ and ${\rm fas}(D)$ for arc-weighted oriented graphs $D$ (i.e., digraphs without opposite arcs) with upper-bounded maximum degree $Δ(D)$ and lower-bounded $g(D)$. Note that these parameters are related: ${\rm fas}_w(D)\le w(D)/{\rm fasd}(D)$, where $w(D)$ is the total weight of $D$, and ${\rm fas}(D)\le |A(D)|/{\rm fasd}(D).$ In particular, we prove the following: (i) If $Δ(D)\leq~4$ and $g(D)\geq 3$, then ${\rm fasd}(D) \geq 3$ and therefore ${\rm fas}_w(D)\leq \frac{w(D)}{3}$ which generalizes a known tight bound for an unweighted oriented graph with maximum degree at most 4; (ii) If $Δ(D)\leq 3$ and $g(D)\in \{3,4,5\}$, then ${\rm fasd}(D)=g(D)$; (iii) If $Δ(D)\leq 3$ and $g(D)\ge 8$ then ${\rm fasd}(D)<g(D).$ We also give some bounds for the cases when $Δ$ or $g$ are large and state several open problems and a conjecture.