graph
35150 papers tagged with this keyword
Construction of infinitely many trace-minimal graphs with maximum number of spanning trees
Published
• View Publication
• BIB
A longstanding problem in spectral graph theory asks for graphs with maximum number of spanning trees among all connected simple graphs with a prescribed number of vertices and edges. Such graphs are called t-optimal graphs. Petingi and Rodríguez [Discrete Math. 244 (2002), 351--373] achieved in finding infinitely many t-optimal graphs. Basically, they reduced the problem of finding t-optimal graphs to the determination of almost-regular graphs with minimum number of induced 3-paths.
In this work we revisit the construction of t-optimal graphs given by Petingi and Rodríguez. Then, we generalize the previous construction using the key concept of trace-minimal graph introduced by Ábrego et al. [Linear Algebra Appl. 412 (2006) 161--221]. Finally, as a consequence, we construct infinitely many new t-optimal regular graphs.
Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse.
The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty.
We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
Throttling for metric dimension and its variants
Published
• View Publication
• BIB
Metric dimension is a graph parameter that has been applied to robot navigation and finding low-dimensional vector embeddings. Throttling entails minimizing the sum of two available resources when solving certain graph problems. In this paper, we introduce throttling for metric dimension, edge metric dimension, and mixed metric dimension. In the context of vector embeddings, metric dimension throttling finds a low-dimensional, low-magnitude embedding with integer coordinates. We show that computing the throttling number is NP-hard for all three variants. We give formulas for the throttling numbers of special families of graphs, and characterize graphs with extremal throttling numbers. We also prove that the minimum possible throttling number of a graph of order $n$ is $Θ\left(\frac{\log{n}}{\log{\log{n}}}\right)$, while the minimum possible throttling number of a tree of order $n$ is $Θ(n^{1/3})$ or $Θ(n^{1/2})$ depending on the variant of metric dimension.
On the variety of general position problems under vertex and edge removal
Published
• View Publication
• BIB
Let ${\rm gp}_{\rm t}(G)$, ${\rm gp}_{\rm o}(G)$, and ${\rm gp}_{\rm d}(G)$ be the total, the outer, and the dual general position number of a graph $G$, respectively. This paper investigates how removing a vertex or removing an edge affects these graph invariants. It is proved that if $x$ is not a cut vertex, then ${\rm gp}_{\rm t}(G) -1 \le {\rm gp}_{\rm t}(G-x) \le {\rm gp}_{\rm t}(G) + {\rm deg}_G(x)$. On the other hand, ${\rm gp}_{\rm o}(G-x)$ and ${\rm gp}_{\rm d}(G-x)$ can be respectively arbitrarily larger/smaller than ${\rm gp}_{\rm o}(G)$ and ${\rm gp}_{\rm d}(G)$. On the positive side, it is proved that if $x$ lies in some ${\rm gp}_{\rm o}$-set, then ${\rm gp}_{\rm o}(G)-1 \le {\rm gp}_{\rm o}(G-x)$, and that if $x$ is not a cut vertex and lies in some ${\rm gp}_{\rm d}$-set of $G$, then $ {\rm gp}_{\rm d}(G)-1 \le {\rm gp}_{\rm d}(G-x)$. For the edge removal, it is proved that (i) ${\rm gp}_{\rm t}(G) -|S(G)_{e}| \le {\rm gp}_{\rm t}(G-e) \le {\rm gp}_{\rm t}(G) +2$, where $S(G)_{e}$ is the set of simplicial vertices adjacent to both endvertices of $e$, (ii) ${\rm gp}_{\rm o}(G)/2\le {\rm gp}_{\rm o}(G-e)\leq\ 2{\rm gp}_{\rm o}(G)$, and (iii) that ${\rm gp}_{\rm d}(G) - {\rm gp}_{\rm d}(G-e)$ can be arbitrarily large. All bounds are demonstrated to be sharp.
A note on the $k$-defect number: Vertex Coloring with a Fixed Number of Monochromatic Edges
In this paper, we introduce and study a novel graph parameter called the $k$-defect number, denoted $φ_{k}(G)$, for a graph $G$ and an integer $0\leq k\leq |E(G)|$. Unlike traditional defective colorings that bound the local degree within monochromatic components, the $k$-defect number represents the smallest number of colors required to achieve a vertex coloring of $G$ having exactly \emph{$k$ monochromatic edges (also termed ``bad edges")}. This parameter generalizes the well-known chromatic number of a graph, $χ(G)$, which is precisely $φ_{0}(G)$. We establish fundamental properties of the $k$-defect number and derive bounds on $φ_{k}(G)$ for specific graph classes, including trees, cycles, and wheels. Furthermore, we extend and generalize several classical properties of the chromatic number to this new edge-centric $k$-defect framework for values of $1\leq k\leq |E(G)|$.
The distance spectrum of the bipartite double cover of strongly regular graphs
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.