graph
34516 papers tagged with this keyword
The maximum degree of the $r$th power of a sparse random graph
Let $G^r_{n,p}$ denote the $r$th power of the random graph $G_{n,p}$, where $p=c/n$ for a positive constant $c$. We prove that w.h.p. the maximum degree $Δ\left(G^r_{n,p}\right)\sim \frac{\log n}{\log_{(r+1)}n}$. Here $\log_{(k)}n$ indicates the repeated application of the log-function $k$ times. So, for example, $\log_{(3)}n=\log\log\log n$.
Extremal minimal bipartite matching covered graphs
A connected graph, on four or more vertices, is matching covered (aka 1-extendable) if every edge is present in some perfect matching. An ear decomposition theorem exists for bipartite matching covered graphs due to Hetyei. From the results and proofs of Lovász and Plummer, that rely on Hetyei's theorem, one may deduce that any minimal bipartite matching covered graph has at least $2(m-n+2)$ vertices of degree two (where minimal means that deleting any edge results in a graph that is not matching covered); such a graph is said to be extremal if it attains the stated lower bound.
In this paper, we provide a complete characterization of the class of extremal minimal bipartite matching covered graphs. In particular, we prove that every such graph $G$ is obtained from two copies of a tree devoid of degree two vertices, say $T$ and $T'$, by adding edges -- each of which joins a leaf of $T$ with the corresponding leaf of $T'$.
Apart from the aforementioned bound, there are four other bounds that appear in, or may be deduced from, the work of Lovász and Plummer. Each of these bounds leads to a notion of extremality. In this paper, we obtain a complete characterization of all of these extremal classes and also establish relationships between them. Two of our characterizations are in the same spirit as the one stated above. For the remaining two extremal classes, we reduce each of them to one of the already characterized extremal classes using standard matching theoretic operations.
A connected graph is k-extendable if it has a matching of cardinality $k$ and each such matching extends to a perfect matching. We also discuss bounds proved by Lou (1999) for minimal k-extendable bipartite graphs. We conjecture stronger bounds and provide evidence for our conjectures by constructing tight examples that are straightforward generalizations of the ones that appear in the 1-extendable case.
The Central Spanning Tree Problem
Spanning trees are an important primitive in many data analysis tasks, when a data set needs to be summarized in terms of its "skeleton", or when a tree-shaped graph over all observations is required for downstream processing. Popular definitions of spanning trees include the minimum spanning tree and the optimum distance spanning tree, a.k.a. the minimum routing cost tree. When searching for the shortest spanning tree but admitting additional branching points, even shorter spanning trees can be realized: Steiner trees. Unfortunately, both minimum spanning and Steiner trees are not robust with respect to noise in the observations; that is, small perturbations of the original data set often lead to drastic changes in the associated spanning trees. In response, we make two contributions when the data lies in a Euclidean space: on the theoretical side, we introduce a new optimization problem, the "(branched) central spanning tree", which subsumes all previously mentioned definitions as special cases. On the practical side, we show empirically that the (branched) central spanning tree is more robust to noise in the data, and as such is better suited to summarize a data set in terms of its skeleton. We also propose a heuristic to address the NP-hard optimization problem, and illustrate its use on single cell RNA expression data from biology and 3D point clouds of plants.
Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite graphs
We initiate the study of Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite connected graphs. These towers are more general than what have been studied so far, since the morphisms of graphs involved are branched covers, a particular kind of harmonic morphisms of graphs. We prove an analogue of Iwasawa's asymptotic class number formula for the $p$-part of the number of spanning trees in this setting. Moreover, we find an explicit generator for the characteristic ideal of the torsion Iwasawa module governing the growth of the $p$-part of the number of spanning trees in such towers.
Association schemes arising from non-weakly regular bent functions
Association schemes play an important role in algebraic combinatorics and have important applications in coding theory, graph theory and design theory. The methods to construct association schemes by using bent functions have been extensively studied. Recently, in [13], {Ö}zbudak and Pelen constructed infinite families of symmetric association schemes of classes $5$ and $6$ by using ternary non-weakly regular bent functions.They also stated that constructing $2p$-class association schemes from $p$-ary non-weakly regular bent functions is an interesting problem, where $p>3$ is an odd prime. In this paper, using non-weakly regular bent functions, we construct infinite families of symmetric association schemes of classes $2p$, $(2p+1)$ and $\frac{3p+1}{2}$ for any odd prime $p$. Fusing those association schemes, we also obtain $t$-class symmetric association schemes, where $t=4,5,6,7$. In addition, we give the sufficient and necessary conditions for the partitions $P$, $D$, $T$, $U$ and $V$ (defined in this paper) to induce symmetric association schemes.
Upper bounds for the number of substructures in finite geometries from the container method
We use techniques from algebraic and extremal combinatorics to derive upper bounds on the number of independent sets in several (hyper)graphs arising from finite geometry. In this way, we obtain asymptotically sharp upper bounds for partial ovoids and EKR-sets of flags in polar spaces, line spreads in $\mathrm{PG}(2r-1,q)$ and plane spreads in $\mathrm{PG}(5,q)$, and caps in $\mathrm{PG}(3,q)$. The latter result extends work due to Roche-Newton and Warren and Bhowmick and Roche-Newton. Finally, we investigate caps in $p$-random subsets of $\mathrm{PG}(r,q)$, which parallels recent work for arcs in projective planes by Bhowmick and Roche-Newton, and by Roche-Newton and Warren, and arcs in projective spaces by Chen, Liu, Nie and Zeng.
A new family of locally $5$-arc transitive graphs of pushing up type with respect to the prime 3
Let $q$ be a power of the prime 3. A locally 5-arc transitive $G$-graph of pushing up type is constructed for each value of $q$. For $q=3$, the $G$-graph constructed provides an example of a graph with a vertex stabilizer amalgam of shape ${\cal E}_1$ in the sense of [1]. Whereas, for the other values of $q$, the vertex stabilizer amalgam of the $G$-graph is of a previously unknown shape. In particular, for $q \neq 3$, these graphs are the first examples of locally 5-arc transitive graphs containing a vertex $z$ for which the group that fixes all 3-arcs originating at $z$ is non-trivial.
Spanning plane subgraphs of $1$-plane graphs
A graph drawn on the plane is called $1$-plane if each edge is crossed at most once by another edge. In this paper, we show that every $4$-connected $1$-plane graph has a connected spanning plane subgraph. We also show that there exist infinitely many $4$-connected $1$-plane graphs that have no $2$-connected spanning plane subgraphs. Moreover, we consider the condition of $k$ and $l$ such that every $k$-connected $1$-plane graph has an $l$-connected spanning plane subgraph.
General position sets, colinear sets, and Sierpiński product graphs
Published in Ann. Combin. 29 (2025) 837-852
• View Publication
• BIB
Let $G \otimes _f H$ denote the Sierpiński product of graphs $G$ and $H$ with respect to the function $f$. The Sierpiński general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position set in $G \otimes _f H$ over all possible functions $f$. Similarly, the lower Sierpiński general position number $\underline{\rm gp}{_{\rm S}}(G,H)$ is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpiński general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpiński general position number of the \SP{s} with $K_2$ as the first factor are deduced. It is proved that if $m,n\geq 2$, then ${\rm gp}{_{\rm S}}(K_m,K_n) = m(n-1)$ and that if $n\ge 2m-2$, then $\underline{\rm gp}{_{\rm S}}(K_m,K_n) = m(n-m+1)$.
The Fortuin-Kasteleyn polynomial as a bialgebra morphism and applications to the Tutte polynomial
We compute an explicit formula for the antipode of the double bialgebra of graphs in terms of totally acyclic partial orientations, using some general results on double bialgebras. In analogy to what was already proven in Hopf-algebraic terms for the chromatic polynomial of a graph, we show that the Fortuin-Kasteleyn polynomial (a variant of the Tutte polynomial) is a morphism of the double algebra of graphs into that of polynomials, which generalizes the chromatic polynomial. When specialized at particular values, we give combinatorial interpretations of the Tutte polynomial of a graph, via covering graphs and covering forests, and of the Fortuin-Kasteleyn polynomial, via pairs of vertex--edge colorings. Finally we show that the map associating to a graph all its orientations is a Hopf morphism from the double bialgebra of graphs into that one of oriented graphs, allowing to give interpretations of the Fortuin-Kasteleyn polynomial when computed at negative values.
The planar Turán number of $\{K_4,Θ_5\}$
Let $\mathcal{F}$ be a set of graphs. The planar Turán number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this paper, we give upper bounds of $ex_{\mathcal{P}}(n,\{K_4,Θ_5\})\leqslant25/11(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.
On the Zagreb indices of the line graph and line cut-vertex graph of subdivision of unicyclic graphs
The first Zagreb index $M_{1}(G)$ is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index $M_{2}(G)$ is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph $G$. This paper aims to investigate the Zagreb indices and coindices of the line graph and line cut-vertex graph of a class of unicyclic graphs called cycle-star graph using the notion of subdivision.
On the chromatic number of powers of subdivisions of graphs
For a given graph $G=(V,E)$, we define its \emph{$n$th subdivision} as the graph obtained from $G$ by replacing every edge by a path of length $n$. We also define the \emph{$m$th power} of $G$ as the graph on vertex set $V$ where we connect every pair of vertices at distance at most $m$ in $G$. In this paper, we study the chromatic number of powers of subdivisions of graphs and resolve the case $m=n$ asymptotically. In particular, our result confirms a conjecture of Mozafari-Nia and Iradmusa in the case $m=n=3$ in a strong sense.
A note on the multicolor size-Ramsey numbers of connected graphs
The $r$-color size-Ramsey number of a graph $H$, denoted by $\widehat{R}_r(H)$, is the minimum number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\widehat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\widehat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\widehat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges.
We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\widehat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\widehat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for the family of non-star trees $T$ with $β(T)=Ω(n_1n_2)$ (which includes all non-star trees of linear maximum degree and all trees of radius 2 for example) we have $\widehat{R}_r(T)=Θ(r^2β(T))$.
Near-Tight Bounds for 3-Query Locally Correctable Binary Linear Codes via Rainbow Cycles
We prove that a binary linear code of block length $n$ that is locally correctable with $3$ queries against a fraction $δ> 0$ of adversarial errors must have dimension at most $O_δ(\log^2 n \cdot \log \log n)$. This is almost tight in view of quadratic Reed-Muller codes being a $3$-query locally correctable code (LCC) with dimension $Θ(\log^2 n)$. Our result improves, for the binary field case, the $O_δ(\log^8 n)$ bound obtained in the recent breakthrough of (Kothari and Manohar, 2023) (arXiv:2311.00558) (and the more recent improvement to $O_δ(\log^4 n)$ for binary linear codes announced in (Yankovitz, 2024)).
Previous bounds for $3$-query linear LCCs proceed by constructing a $2$-query locally decodable code (LDC) from the $3$-query linear LCC/LDC and applying the strong bounds known for the former. Our approach is more direct and proceeds by bounding the covering radius of the dual code, borrowing inspiration from (Iceland and Samorodnitsky, 2018) (arXiv:1802.01184). That is, we show that if $x \mapsto (v_1 \cdot x, v_2 \cdot x, \ldots, v_n \cdot x)$ is an arbitrary encoding map $\mathbb{F}_2^k \to \mathbb{F}_2^n$ for the $3$-query LCC, then all vectors in $\mathbb{F}_2^k$ can be written as a $\widetilde{O}_δ(\log n)$-sparse linear combination of the $v_i$'s, which immediately implies $k \le \widetilde{O}_δ((\log n)^2)$. The proof of this fact proceeds by iteratively reducing the size of any arbitrary linear combination of at least $\widetildeΩ_δ(\log n)$ of the $v_i$'s. We achieve this using the recent breakthrough result of (Alon, Bucić, Sauermann, Zakharov, and Zamir, 2023) (arXiv:2309.04460) on the existence of rainbow cycles in properly edge-colored graphs, applied to graphs capturing the linear dependencies underlying the local correction property.
A characterization on $(g,f)$-parity orientations
Let $G$ be a graph and $g,f:V(G)\to2^N$ be two set functions such that $g(v)\le f(v)$ and $g(v)\equiv f(v)\pmod 2$ for every $v\in V(G)$. An orientation $O$ of $G$ is called a $(g,f)$-parity orientation if $g(v)\le d^+_O(v)\le f(v)$ and $g(v)\equiv d^+_O(v)\pmod 2$ for every $v\in V(G)$. In this paper, we give a Tutte-type characterization for a graph to have a $(g,f)$-parity orientation.
On two-coloring bipartite uniform hypergraphs
Of a given bipartite graph $G = (V, E)$, it is elementary to construct a bipartition in time $O(|V| + |E|)$. For a given $k$-graph $H = H^{(k)}$ with $k \geq 3$ fixed, Lovász proved that deciding whether $H$ is bipartite is NP-complete. Let $\mathcal{B}_n$ denote the collection of all $[n]$-vertex bipartite $k$-graphs. We construct, of a given $H \in \mathcal{B}_n$, a bipartition in time averaging $O(n^k)$ over the class $\mathcal{B}_n$. We provide two proofs of our result. When $k = 3$, this result expedites one of Person and Schacht.
On bipartite biregular large graphs
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.
The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs
We study the algorithmic task of finding large independent sets in Erdos-Renyi $r$-uniform hypergraphs on $n$ vertices having average degree $d$. Krivelevich and Sudakov showed that the maximum independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$. We show that the class of low-degree polynomial algorithms can find independent sets of density $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$ but no larger. This extends and generalizes earlier results of Gamarnik and Sudan, Rahman and Virag, and Wein on graphs, and answers a question of Bal and Bennett. We conjecture that this statistical-computational gap holds for this problem.
Additionally, we explore the universality of this gap by examining $r$-partite hypergraphs. A hypergraph $H=(V,E)$ is $r$-partite if there is a partition $V=V_1\cup\cdots\cup V_r$ such that each edge contains exactly one vertex from each set $V_i$. We consider the problem of finding large balanced independent sets (independent sets containing the same number of vertices in each partition) in random $r$-partite hypergraphs with $n$ vertices in each partition and average degree $d$. We prove that the maximum balanced independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$ asymptotically. Furthermore, we prove an analogous low-degree computational threshold of $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$. Our results recover and generalize recent work of Perkins and the second author on bipartite graphs.
While the graph case has been extensively studied, this work is the first to consider statistical-computational gaps of optimization problems on random hypergraphs. Our results suggest that these gaps persist for larger uniformities as well as across many models. A somewhat surprising aspect of the gap for balanced independent sets is that the algorithm achieving the lower bound is a simple degree-1 polynomial.
Genus and crosscap of Normal subgroup based power graphs of finite groups
Let $H$ be a normal subgroup of a group $G$. The normal subgroup based power graph $Γ_H(G)$ of $G$ is the simple undirected graph with vertex set $V(Γ_H(G))= (G\setminus H)\cup \{e\}$ and two distinct vertices $a$ and $b$ are adjacent if either $aH = b^m H$ or $bH=a^nH$ for some $m,n \in \mathbb{N}$. In this paper, we continue the study of normal subgroup based power graph and characterize all the pairs $(G,H)$, where $H$ is a non-trivial normal subgroup of $G$, such that the genus of $Γ_H(G)$ is at most $2$. Moreover, we determine all the subgroups $H$ and the quotient groups $\frac{G}{H}$ such that the cross-cap of $Γ_H(G)$ is at most three.