graph
34516 papers tagged with this keyword
The distance spectrum of the bipartite double cover of strongly regular graphs
A strongly regular graph with parameters $(n,d,a,c)$ is a $d$-regular graph of order $n$, in which every pair of adjacent vertices has exactly $a$ common neighbor(s) and every pair of nonadjacent vertices has exactly $c$ common neighbor(s). Let $n$ be the number of vertices of the graph $G=(V,E)$. The distance matrix $D=D(G)$ of $G$ is an $n \times n $ matrix with the rows and columns indexed by $V$
such that $D_{uv} = d_{G}(u, v)=d(u,v)$, where $d_{G}(u, v)$ is the distance between the vertices $u$ and $v$ in the graph $G$. In this paper, we are interested in determining the distance spectrum of the bipartite double cover of the family of strongly regular graphs. In other words, let $G=(V,E)$ be a strongly regular graph with parameters $(n,k,a,c)$. We show that there is a close relationship between the spectrum of $G$ and the distance spectrum of $B(G)$, where $B(G)$ is the double cover of $G$. We explicitly determine the distance spectrum of the graph $B(G)$, according to the spectrum of $G$. In fact, according to the parameters of the graph $G$.
Perfect Fractional Matchings in Bipartite Graphs Via Proportional Allocations
Given a bipartite graph that has a perfect matching, a prefect proportional allocation is an assignment of positive weights to the nodes of the right partition so that every left node is fractionally assigned to its neighbors in proportion to their weights, and these assignments define a fractional perfect matching. We prove that a bipartite graph has a perfect proportional allocation if and only if it is matching covered, by using a classical result on matrix scaling. We also present an extension of this result to provide simple proportional allocations in non-matching-covered bipartite graphs.
Degree sequences realizing labelled perfect matchings
Let $n\in \mathbb{N}$ and $d_1 \geq d_2 \geq d_n\geq 1$ be integers. There is characterization of when $(d_1, d_1, \ldots, d_n)$ is the degree sequence of a graph containing a perfect matching, due to results of Lovász (1974) and Erdős and Gallai (1960). But \emph{which} perfect matchings can be realized in the labelled graph? Here we find the extremal answers to this question, showing that the sequence $(d_1, d_2, \ldots, d_n)$: (1) can realize a perfect matching iff it can realize $\{(1, n), (2,n-1), \ldots, (n/2, n/2+1)\}$, and; (2) can realize any perfect matching iff it can realize $\{(1, 2), (3,4), \ldots, (n-1, n)\}$. Our main result is a characterization of when (2) occurs, extending the work of Lovász and Erdős and Gallai. Separately, we are also able to establish a conjecture of Yin and Busch, Ferrera, Hartke, Jacobsen, Kaul, and West about packing graphic sequences, establishing a degree-sequence analog of the Sauer-Spencer packing theorem. We conjecture an $h$-factor analog of our main result, and discuss implications for packing $h$ disjoint perfect matchings.
Admissible set and squarefree-power-like function with applications to squarefree symbolic powers
We introduce the abstract notion of squarefree-power-like functions, which unify the sequences of squarefree ordinary and symbolic powers of squarefree monomial ideals. By employing the Tor-vanishing criteria for mixed sums of ideals, we establish sharp lower bounds for their Castelnuovo-Mumford regularity in terms of what we call the admissible set of the associated hypergraph. As an application, we derive the first general combinatorial lower bound for the regularity of squarefree symbolic powers of monomial ideals. In the setting of edge ideals, by exploiting the special combinatorial structures of block graphs and Cohen-Macaulay chordal graphs, we show that this bound turns into an exact formula for all squarefree symbolic powers of block graphs, as well as for the second squarefree symbolic powers of edge ideals of Cohen-Macaulay chordal graphs.
Competitively Constructed Planar Graphs
We introduce and study two Maker-Breaker-like games for constructing planar graphs: the edge drawing game, where two players take turns drawing non-intersecting edges between points in the plane, and the circle packing game, where the players take turns placing disjoint circles in the plane. Both games produce planar graphs: the edge drawing game results in a plane graph drawing, and the circle packing game yields a planar graph via the contact graph of the packing. For both games, we give necessary conditions under which a given planar graph can be constructed. We also show that the two games are indeed different by giving a class of graphs which can be constructed in one but not the other.
Zero-free regions for the independence polynomial on restricted graph classes
Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative real line. In this paper, we show that for any fixed subdivded claw $H$ and any $Δ$, there is an open set $F \subseteq \mathbb{C}$ containing $[0, \infty)$ such that the independence polynomial of any $H$-free graph of maximum degree $Δ$ has all of its zeros outside of $F$. We also show that no such result can hold when $H$ is any graph other than a subdivided claw or if we drop the maximum degree condition.
We also establish zero-free regions for the multivariate independence polynomial of $H$-free graphs of bounded degree when $H$ is a subdivided claw. The statements of these results are more subtle, but are again best possible in various senses.
Clique number of xor-powers of Kneser graphs
Let $f_\ell(n, k)$ denote the clique number of the xor-product of $\ell$ isomorphic Kneser graphs KG(n,k). Alon and Lubetzky investigated the case of complete graphs as a coding theory problem and showed $f_\ell(n,1)\leq \ell n +1$. Imolay, Kocsis, and Schweitzer proved that $f_2(n,k)\leq n/k +c(k)$.
Here, the order of magnitude of $c(k)$ is determined to be $Θ\left( k \binom{2k}{k} \right)$. By explicit constructions and by an algebraic proof, it is shown that $\ell n- 2\ell-1 \leq f_\ell(n,1)\leq \ell n-\ell+1$ (for all $n \geq 1$ and $\ell\geq 3$). Finally, it is proved that the order of magnitude of $f$ lies between $Ω\left(n^{\left\lfloor \log_2(\ell+1)\right\rfloor}\right)$ and $O\left(n^{\left\lfloor \frac{\ell+1}{2} \right\rfloor} \right)$ (as $\ell$, $k$ are given and $n\to \infty$).
We conjecture that the lower bound gives the correct exponent.
A degree sum condition for the existence of a quasi 5-contractible edge in a quasi 5-connected graph
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. We show that every 5-connected graph contains a quasi 5-contractible edge. Furthermore, we prove that a quasi 5-connected graph possesses a quasi 5-contractible edge, if the degree sum of any two vertices with distance at most two is at least 9. This result strengthens a theorem proved by Kriesell when $k=4$ (M. Kriesell, A degree sum condition for the existence of a contractible edge in a $k$-connected graph, J. Combin. Theory Ser. B 82(2001)81-101).
Signless Laplacian characterization of cones over disjoint unions of cycles, edges and isolated vertices
Two graphs are said to be $Q$-cospectral if they share the same signless Laplacian spectrum. A simple graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if there exists no other non-isomorphic simple graph with the same signless Laplacian spectrum. In this paper, we establish the following results:
(1) Let$G \cong K_{1} \vee \bigl(C_{k} \cup qK_{2} \cup sK_{1}\bigr),$ with $q,s \geq 1$, $k \geq 4$, and at least $21$ vertices. If $k$ is odd, then $G$ is DQS. Moreover, if $k$ is even and $F$ is $Q$-cospectral with $G$, then $$F \cong G \quad \text{or} \quad F \cong K_{1} \vee \bigl(C_{4} \cup P_{k-3} \cup P_{3} \cup (q-2)K_{2} \cup sK_{1}\bigr).$$
(2) Let $G\cong K_1\vee (C_{k_1}\cup C_{k_2}\cup\cdots \cup C_{k_t}\cup qK_2\cup sK_1)$ with $t\ge 2$, $q,s\ge 1$, $k_i\ge 4$ and at least $33$ vertices. If each $k_i$ is odd, then $G$ is DQS.
(3) The graph $K_{1} \vee \bigl(C_{3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup sK_{1}\bigr),$ with $t,q,s \geq 1$ and $k_{i} \geq 3$, is not DQS. Moreover, it is $Q$-cospectral with $K_{1} \vee \bigl(K_{1,3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup (s-1)K_{1}\bigr).$
Here $P_{n}$, $C_{n}$, $K_{n}$ and $K_{n-r,r}$ denote the path, the cycle, the complete graph and the complete bipartite graph on $n$ vertices, while $\cup$ and $\vee$ represent the disjoint union and the join of two graphs, respectively. Furthermore, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.
On the Anti-Ramsey Number of Spanning Linear Forests with Paths of Lengths 2 and 3
An edge-coloring of a graph $G$ assigns a color to each edge in the edge set $E(G)$. A graph $G$ is considered to be rainbow under an edge-coloring if all of its edges have different colors. For a positive integer $n$, the anti-Ramsey number of a graph $G$, denoted as $AR(n, G)$, represents the maximum number of colors that can be used in an edge-coloring of the complete graph $K_n$ without containing a rainbow copy of $G$. This concept was introduced by Erdős et al. in 1975. The anti-Ramsey number for the linear forest $kP_3 \cup tP_2$ has been extensively studied for two positive integers $k$ and $t$. Formulations exist for specific values of $t$ and $k$, particularly when $k \geq 2$, $t \geq \frac{k^2 - k + 4}{2}$, and $n \geq 3k + 2t + 1$. In this work, we present the anti-Ramsey number of the linear forest $kP_3 \cup tP_2$ for the case where $k \geq 1$, $t \geq 2$, and $n = 3k + 2t$. Notably, our proof for this case does not require any specific relationship between $k$ and $t$.
Optimally building spanning graphs in semirandom graph processes
The semirandom graph process constructs a graph $G$ in a series of rounds, starting with the empty graph on $n$ vertices. In each round, a player is offered a vertex $v$ chosen uniformly at random, and chooses an edge on $v$ to add to $G$. The player's aim is to make $G$ satisfy some property as quickly as possible. Our interest is in the property that $G$ contain a given $n$-vertex graph $H$ with maximum degree $Δ$. In 2021, Ben-Eliezer, Gishboliner, Hefetz and Krivelevich showed that there is a semirandom strategy that achieves this, with probability tending to 1 as $n$ tends to infinity, in $(1 + o_Δ(1)) \frac{3 Δn}{2}$ rounds, where $o_Δ(1)$ is a function that tends to $0$ as $Δ$ tends to infinity. We improve this to $(1 + o_Δ(1)) \frac{Δn}{2}$, which can be seen to be asymptotically optimal in $Δ$. We show the same result for a variant of the semirandom graph process, namely the semirandom tree process introduced by Burova and Lichev, where in each round the player is offered the edge set of a uniformly chosen tree on $n$ vertices, and chooses one edge to keep.
A $q$-analogue of distance matrix of bi-block graphs
A $q$-analogue of the distance matrix, referred to as the \emph{$q$-distance matrix}, is obtained from the distance matrix by replacing each nonzero entry $α$ with the sum $1+q+\cdots+q^{α-1}$. This notion was introduced independently by Bapat, Lal, and Pati~\cite{Ba-Lal-Pati}, and by Yan and Yeh~\cite{Yan}. A connected graph is called a \emph{bi-block graph} if each of its blocks is a complete bipartite graph. In this paper, we derive explicit formulas for the determinant and the inverse of the $q$-distance matrix of bi-block graphs. These results both generalize the corresponding formulas for the distance matrix of bi-block graphs obtained in~\cite{Hou3} and extend the results for block graphs in~\cite{Xing} to the class of bi-block graphs.
Progress in the study of the (non)existence of genuinely unextendible product bases
We investigate the open problem of the existence of genuinely unextendible product bases (GUPBs), that is, multipartite unextendible product bases (UPBs) which remain unextendible even with respect to biproduct vectors across all bipartitions of the parties. To this end, we exploit the well-known connection between UPBs and graph theory through orthogonality graphs and orthogonal representations, together with recent progress in this framework, and employ forbidden induced subgraph characterizations to single out the admissible local orthogonality graphs for GUPBs. Using this approach, we establish that GUPBs of size thirteen in three-qutrit systems-the smallest candidate GUPBs-do not exist. We further provide a partial characterization of graphs relevant to larger bases and systems with ququart subsystems.
The existence of unexpected automorphisms in direct product graphs
A pair of graphs $(Γ,Σ)$ is called unstable if their direct product $Γ\timesΣ$ admits automorphisms not from $\mathrm{Aut}(Γ)\times\mathrm{Aut}(Σ)$, and such automorphisms are said to be unexpected. The stability of a graph $Γ$ refers to that of $(Γ,K_2)$. While the stability of individual graphs has been relatively well studied, much less is known for graph pairs. In this paper, we propose a conjecture that provides the best possible reduction of the stability of a graph pair to the stability of a single graph. We prove one direction of this conjecture and establish partial results for the converse. This enables the determination of the stability of a broad class of graph pairs, with complete results when one factor is a cycle.
Packing subgraphs in regular graphs
An \emph{$H$-packing} in a graph $G$ is a collection of pairwise vertex-disjoint copies of $H$ in $G$. We prove that for every $c > 0$ and every bipartite graph $H$, any $\lfloor cn \rfloor$-regular graph $G$ admits an $H$-packing that covers all but a constant number of vertices. This resolves a problem posed by Kühn and Osthus in 2005. Moreover, our result is essentially tight: the conclusion fails if $G$ is not both regular and sufficiently dense, it is in general not possible to guarantee covering all vertices of $G$ by an $H$-packing, and if $H$ is non-bipartite then $G$ need not contain any copies of $H$.
We also prove that for all $c > 0$, integers $t \geq 2$, and sufficiently large $n$, all the vertices of every $\lfloor cn \rfloor$-regular graph can be covered by vertex-disjoint subdivisions of $K_t$. This resolves another problem of Kühn and Osthus from 2005, which goes back to a conjecture of Verstraëte from 2002.
Our proofs combine novel methods for balancing expanders and super-regular subgraphs with a number of powerful techniques including properties of robust expanders, regularity lemma, and blow-up lemma.
Perron-Frobenius theorem for dual tensors and its applications
The Perron-Frobenius theorem of nonnegative matrices is a classical result on spectral theory of matrices, which has wide applications in many domains. In this paper, we give the Perron-Frobenius theorem for dual tensors, that is, a dual tensor with weakly irreducible nonnegative standard part has a positive dual eigenvalue with a positive dual eigenvector. We give an explicit formula for the dual part of the positive dual eigenvector by using generalized inverses of an $M$-matrix. By considering the natural correspondence between tensors (matrices) and hypergraphs (graphs), some basic properties on the positive dual eigenvalue and positive dual eigenvector of hypergraphs are obtained. As applications, we introduce dual centrality measures for vertices of graphs and hypergraphs. By introducing a dual perturbation, vertices that are tied under eigenvector centrality can be effectively distinguished. In our numerical experiments, by perturbing specific structures, we successfully differentiated vertices in regular graphs and hypergraphs that were previously indistinguishable.
Well-Quasi-Ordering Eulerian Digraphs Embeddable in Surfaces by Strong Immersion
We prove that for every surface $Σ$, the class of Eulerian directed graphs that are Eulerian embeddable into $Σ$ (in particular they have degree at most $4$) is well-quasi-ordered by strong immersion. This result marks one of the most versatile directed graph classes (besides tournaments) for which we are aware of a positive well-quasi-ordering result regarding a well-studied graph relation.
Our result implies that the class of bipartite circle graphs is well-quasi-ordered under the pivot-minor relation. Furthermore, this also yields two other interesting applications, namely, a polynomial-time algorithm for testing immersion closed properties of Eulerian-embeddable graphs into a fixed surface, and a characterisation of the Erdős-Pósa property for Eulerian digraphs of maximum degree four.
Further, in order to prove the mentioned result, we prove that Eulerian digraphs of carving width bounded by some constant $k$ (which correspond to Eulerian digraphs with bounded treewidth and additionally bounded degree) are well-quasi-ordered by strong immersion. We actually prove a stronger result where we allow for vertices of the Eulerian digraphs to be labeled by elements of some well-quasi-order $Ω$. We complement these results with a proof that the class of Eulerian planar digraphs of treewidth at most $3$ is not well-quasi-ordered by strong immersion, noting that any antichain of bounded treewidth cannot have bounded degree.
Ramsey numbers of long even cycles versus books
For any positive integers $k$ and $n$, let $B_n^{(k)}$ be the book graph consisting of $n$ copies of the complete graph $K_{k+1}$ sharing a common $K_k$. Let $C_m$ be a cycle of length $m$. Prior work by Allen, Łuczak, Polcyn, and Zhang (2023) established the Ramsey number $R(C_{m},B_n^{(1)})$ for all sufficiently large even integer $m = Ω(n^{9/10})$. Recently, Hu, Lin, Łuczak, Ning, and Peng (2025) obtained the exact value of $R(C_{m},B_n^{(2)})$ under the same asymptotic conditions. A natural problem is to determine the exact value of $R(C_{m},B_n^{(k)})$ for each fixed $k\ge3$ under similar conditions. This paper provides a complete solution to this problem. The lower bound is proved by an explicit construction, while the tight upper bound is established by analyzing the corresponding Ramsey graph using semi-random ideas.
On Independent Spanning Trees in Random and Pseudorandom Graphs
In 1989, Zehavi and Itai conjectured that every $k$-connected graph contains $k$ independent spanning trees rooted at any prescribed vertex $r$. That is, for each vertex $v$, the unique $r$-$v$ paths within these $k$ spanning trees are internally disjoint. This fundamental problem has received much attention, in part motivated by its applications to network reliability, but despite that has only been resolved for $k \le 4$ and certain restricted graph families.
We establish the conjecture for almost all graphs of essentially any relevant density. Specifically, we prove that there exists a constant $C > 1$ such that, with high probability, the random graph $G(n,p)$ contains $δ(G)$ independent spanning trees rooted at any vertex whenever $C \log n/n \leq p < 0.99$. Since the lower bound on $p$ coincides (up to the constant $C$) with the connectivity threshold of $G(n,p)$, this result is essentially optimal. In addition, we show that $(n,d,λ)$-graphs with fairly mild bounds on the spectral ratio $d/λ$ contain $(1-o(1))d$ independent spanning trees rooted at each vertex, thereby settling the conjecture asymptotically for random $d$-regular graphs as well.
Flow polytopes for extensions of bipartite graphs
The space of unit flows on a finite acyclic directed graph is a lattice polytope called the flow polytope of the graph. Given a bipartite graph $G$ with minimum degree at least two, we construct two associated acyclic directed graphs: the extension of $G$ and the almost-degree-whiskered graph of $G$. We prove that the normalized volume of the flow polytope for the extension of $G$ is equal to the number of matchings in the almost-degree-whiskered graph of $G$. Further, we refine this result by proving that the Ehrhart $h^*$-polynomial of the flow polytope for the extension of $G$ is equal to the unsigned matching polynomial of the almost-degree-whiskered graph of $G$.