graph
35150 papers tagged with this keyword
Oriented paths with two blocks in bipartite oriented graphs
Stein conjectured that for any integer $k\geq 2$, every oriented graph with minimum semidegree greater than $k/2$ contains every orientation of a path with $k$ edges. Recently, Chen, Hou and Zhou proved this conjecture to be true for any oriented path with two blocks, where a block of an oriented path is a maximal directed subpath within it. In this paper, we prove that every bipartite oriented graph with minimum semidegree at least $3k/8+2$ contains every oriented path with two blocks of length $k$ for $k\ge 2$. Moreover, in contrast to the general oriented setting, we highlight that the minimum semidegree threshold in the bipartite setting is closely related to the number of blocks.
An Improved Upper Bound for the Turán Number of the Hexagon
For a graph $F$, the Turán number $\operatorname{ex}(n,F)$ is the maximum number of edges in an $n$-vertex graph containing no copy of $F$. Determining the Turán numbers of even cycles is a central problem in extremal graph theory and remains open in general. For $C_6$, the best previous upper bound was due to Füredi, Naor, and Verstraëte [Advances in Mathematics, 2006], who proved that, for sufficiently large positive integer $n$, $$
\operatorname{ex}(n,C_6) \leq λn^{4/3}+O(n)<0.6272 n^{4/3}, $$ where $λ$ is the real root of $
16λ^3-4λ^2+λ-3=0$. We improve this bound by showing that, for sufficiently large positive integer $n$, $$
\operatorname{ex}(n,C_6) \leq αn^{4/3}+O(n)<0.6144 n^{4/3}, $$ where $α$ is the unique real root of $
4 α^{3} (3/2)^{1-1/(2α)} =1$ in the interval $(1/2,2/3)$.
Quasi-strongly regular digraphs constructed from transitive groups of degree $n\leq 110$
In this paper we present a method for constructing directed regular graphs from a transitive permutation group. This method is a generalization of a construction method for transitive 1-designs from a finite group, described in \cite{dean1}. Using this construction, we prove the existence of directed strongly regular graphs with parameters $(72,25,15,6,10)$, $(96,11,4,3,1)$, $(96,22,16,8,4)$, $(96,26,11,7,7)$, $(96,29,23,10,8)$, $(96,42,32,16,20)$, $(96,45,35,22,20)$ and $(165,60,36,23,21)$. Finally, we classify quasi-strongly regular digraphs arising from transitive permutation groups of degree at most $30$ and from primitive permutation groups of degrees from $31$ to $110$ and rank at most $30$.
On $S$-packing total colorings
In this paper, we generalize the concept of packing total coloring by introducing a new concept called the $S$-packing total coloring. For a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, an $S$-packing total coloring of $G$ is a mapping $c: V(G)\cup E(G)\rightarrow \{1,2,\ldots\}$ such that for any two distinct elements $A,B\in V(G)\cup E(G)$ with $c(A)=c(B)=i$, the distance between $A$ and $B$ is at least $a_i+1$. The smallest integer $k$ such that $G$ admits an $S$-packing total coloring using $k$ colors is called the $S$-packing total chromatic number of $G$, denoted by $χ_S^{''}(G)$. For any sequence $S$, we establish general lower and upper bounds for $χ_S^{''}(G)$, and characterize all graphs $G$ with $χ_S^{''}(G)\in\{1,2,3\}$. Furthermore, we investigate $S$-packing total chromatic numbers of complete bipartite graphs, as well as infinite and finite paths and cycles.
The VC-dimension of strongly regular graphs
A graph $G$ is $n$-existentially closed or $n$-e.c. if, for all subsets $S\subseteq V(G)$ with $|S|=n$ and for all partitions $S=A\sqcup B$, there exists a vertex in $V(G)\sm S$ adjacent to all vertices in $A$ and no vertices in $B$. We study the minimum number of edges $m(v,n)$ of a $v$-vertex $n$-e.c. graph, and show that $m(v,2)=3v+O(1)$ while $m(v,n)=Θ(v\log v)$ for fixed $n\ge 3$. The latter result uses a connection to binary covering arrays.
A related parameter is the VC-dimension of $G$, defined as the size of the largest subset of vertices shattered by the neighborhoods of vertices in $G$. We initiate systematic study of the VC-dimensions of strongly regular graphs (SRGs). We characterize the sufficiently large SRGs with VC-dimension 2. Furthermore, we determine the VC-dimension of sufficiently large Latin square graphs and of all SRGs of order at most 28, and we show that the SRGs with a given integer as smallest eigenvalue have bounded VC-dimension.
Superpolynomial lower bounds for vertex numbers of real projective space triangulations via a topological Figiel-Lindenstrauss-Milman theorem
We prove that every simplicial triangulation of real projective $d$-space has $\exp(Ω(\sqrt d))$ vertices. Together with known constructions, this determines the minimum vertex number as $μ_d=\exp(d^{1/2+o(1)})$. The result follows from a topological generalization of the Figiel--Lindenstrauss--Milman inequality, answering a recent question of Frick, Hosseini, and Vasileuski: a finite strongly regular CW complex with a free cellular involution, $v$ vertices, and $f$ maximal cells has $\mathbb{Z}/2$-index at most $O(\log v\log f)$. We bound the dimensions of Morse cells by a trace estimate for a constrained Hessian, obtaining a Morse-theoretic proof of the classical inequality for centrally symmetric polytopes. As further applications of this inequality, we give an $\exp(Ω(\sqrt t))$ lower bound for the order of a triangle-free topologically $t$-chromatic graph and bound the index of sign complexes by $O(d\log^2 N)$ for total matrices and $O(d\log^3 N)$ for partial matrices, where $N\geq2$ is the number of columns and $d\geq1$ is the VC dimension.
Hyperbolic distance matrix completion
A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.
Induced Forest Minor Theorem for Graphs Without an Induced Star
Motivated by recent work on tree independence number, we study the path independence number of a graph $G$: the minimum integer $k$ such that there is a path decomposition of $G$ where each bag induces a graph with independence number at most $k$. We show that every graph excluding both an induced forest minor and an induced star has bounded path independence number. This characterises when a graph class that excludes an induced star has bounded path independence number while also partially resolving a conjecture of Dallard, Krnc, Kwon, Milani{č}, Munaro, Štorgel and Wiederrecht (2024). Furthermore, we show that graphs excluding both an apex-forest induced minor and an induced star have bounded tree independence number. As a consequence, for every fixed apex-forest $H$ and integer $t$, there is a polynomial-time algorithm to test whether a $K_{1,t}$-induced-subgraph-free graph contains $H$ as an induced minor. Moreover, it follows that the Maximum Weight Independent Set problem, as well as several other NP-hard problems, can be solved in polynomial-time on $K_{1,t}$-induced-subgraph-free graphs that exclude $H$ as an induced minor.
Subexponential Approximation of the Permanent in Deterministic Polynomial Time
We give the first deterministic polynomial time algorithm that approximates the permanent of arbitrary nonnegative rational matrices within a subexponential factor. For a matrix of order $n$, the approximation factor is \[
\exp\!\left(O\!\left(\frac{n(\log\log n)^2}{\log n}\right)\right)=\exp(o(n)). \] All previously known deterministic polynomial time guarantees for unrestricted inputs had approximation factors $\exp(Ω(n))$.
Our proof uses convex optimization to tighten an upper bound on the permanent. The bound is based on weighted sums over all matchings in a bipartite graph representing the matrix, and correlations between unmatched vertices control its error. We approximate these sums deterministically using correlation decay and a bound on the effect of vertex deletion.
Are trees really just butterflies in disguise?
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.
Beyond halfway to Hadwiger's conjecture
Hadwiger conjectured in 1943 that every graph with no $K_t$ minor has chromatic number at most $t-1$. Delcourt and Postle proved that every graph with no $K_t$ minor has chromatic number $O(t\log\log t)$. We build on their result to improve this bound to $O(t\log\log\log t)$.
Explicit and logarithmically improved chromatic bounds for $(P_2\cup P_3)$-free graphs
We prove that every \((P_2\cup P_3)\)-free graph \(G\), with \(k=ω(G)\), satisfies \[
χ(G)=O\!\left(k^3\frac{\ln\ln k}{\ln k}\right). \] Thus the class admits an \(o(k^3)\) binding function. We also prove the explicit bound \[
χ(G)\le \frac{k^3}{8}+\frac{5k^2}{4}-4k+8
\qquad(k\ge8), \] with a sharper formula for odd \(k\). A further refinement gives an explicit cubic bound with leading coefficient \(104/837<1/8\).
A $2/3$ Bound for Vizing's Conjecture
Vizing's conjecture, dating back to 1963, asserts that \[ γ(G\mathbin{\square}H) \geq γ(G)γ(H) \] for all finite graphs $G$ and $H$, where $γ$ denotes the domination number and $\square$ denotes the Cartesian product. In 2000, Clark and Suen proved the universal bound \[ γ(G\mathbin{\square}H) \geq \frac{1}{2}γ(G)γ(H). \] Recently, Steiner obtained the first constant-factor improvement of the Clark--Suen bound, proving that \[ γ(G\mathbin{\square}H) \geq \frac{5+\sqrt{73}}{24}γ(G)γ(H) \approx 0.5643\,γ(G)γ(H). \] In this paper, we further improve the universal constant by proving that \[ γ(G\mathbin{\square}H) \geq \frac{2}{3}γ(G)γ(H) \] for all finite graphs $G$ and $H$. Thus, we raise the best known universal constant in the approximate form of Vizing's conjecture from $(5+\sqrt{73})/24$ to $2/3$.
A complete classification of metrizable and strictly metrizable theta graphs
Cizma and Linial asked for a classification of the metrizable theta graphs. We solve both their problem and its strict analogue. For $a\le b\le c$, the theta graph $Θ_{a,b,c}$ is metrizable if and only if $a\le 2$ or $(a,b,c)=(3,3,3)$, and it is strictly metrizable if and only if $a\le2$. Thus $Θ_{3,3,3}$ is precisely the exceptional theta graph that is metrizable but not strictly metrizable. The negative directions follow from the known obstructions $Θ_{3,3,4}$ and $Θ_{3,3,3}$ together with topological-minor closure. The positive direction is constructive. Consistency turns the possible detours through a length-two arm into compatible Ferrers relations, which are represented by one-dimensional potentials; all resulting shortest-path comparisons have positive slack. The exceptional ordinary-metrizable graph $Θ_{3,3,3}$ is handled by a two-threshold weak Ferrers representation. The proof is structural, yields rational edge lengths algorithmically, and uses no enumeration of path systems.
Regularizing and Normalizing DAGs and Phylogenetic Networks
Phylogenetic networks and, more generally, directed acyclic graphs (DAGs) represent hierarchical structure beyond trees, for instance in the presence of reticulate evolutionary events such as hybridization or horizontal gene transfer. A central question is which parts of such graphs are essential with respect to leaf-observable information, and which parts can be removed without changing this information. Resolving this question can lead to principled simplification methods for phylogenetic networks, such as the recent normalization approach of Francis et al.
In this paper, we study this question from three related perspectives: clusters displayed by a DAG $G$, least common ancestors (LCAs) of subsets of its leaf set, and visibility, a path-based property of vertices. We first introduce an LCA-based simplification procedure called $i$-regularization. For a DAG $G$ and $i\geq 1$, the DAG $\reg_i(G)$ retains precisely those vertices that occur as unique LCAs of leaf subsets of size at most $i$, removes the remaining non-leaf vertices by a graph-editing operation $\ominus$, and then deletes shortcuts. We show that $\reg_i(G)$ admits a Hasse-diagram characterization in terms of the corresponding lca-clusters.
We then compare LCA-based regularization with normalization. Using the same $\ominus$-operator, we describe the cover construction underlying normalization, identify visible vertices that are nevertheless removed, and characterize when regularization and normalization coincide. Together, these results provide a unified framework for cluster-based, LCA-based, and visibility-based simplifications of DAGs and phylogenetic networks.
The Spectrum of Triangle-free Graphs
Published
• View Publication
• BIB
Denote by $q_n(G)$ the smallest eigenvalue of the signless Laplacian matrix of an $n$-vertex graph $G$. Brandt conjectured in 1997 that for regular triangle-free graphs $q_n(G) \leq \frac{4n}{25}$. We prove a stronger result: If $G$ is a triangle-free graph then $q_n(G) \leq \frac{15n}{94}< \frac{4n}{25}$. Brandt's conjecture is a subproblem of two famous conjectures of Erdős:
(1) Sparse-Half-Conjecture: Every $n$-vertex triangle-free graph has a subset of vertices of size $\left\lfloor\frac{n}{2}\right\rfloor$ spanning at most $n^2/50$ edges.
(2) Every $n$-vertex triangle-free graph can be made bipartite by removing at most $n^2/25$ edges.
In our proof we use linear algebraic methods to upper bound $q_n(G)$ by the ratio between the number of induced paths with 3 and 4 vertices. We give an upper bound on this ratio via the method of flag algebras.
Sharp Embeddings of Layer-Rainbow Cubes and Orthogonal Pairs
We determine the exact extension threshold for one-factorizations of complete tripartite $3$-uniform hypergraphs. Equivalently, for $n>m$, every order-$m$ layer-rainbow cube embeds in one of order $n$ if and only if $n\ge2m$. We then study injectively orthogonal pairs, in which no ordered pair of symbols is repeated. Such pairs exist in every positive order except $2$, and every order-$m$ pair with $m\ge3$ embeds in every order $n\ge3m$. At the sharp order $2m$, embedding occurs exactly when the pair has a disjoint mate. The symbol-pair graph carries three distinguished one-factorizations whose triple intersections recover the cube, yielding several sufficient conditions for sharp embedding, including a finite-group construction. Finally, layer-rainbow cubes are proper $n^2$-colorings of the square of the Hamming graph, and the three one-factorizations of an orthogonal pair recover the Hamming geometry of the cells.
Structure, Coloring, and Perfect Divisibility of $(P_2\cup P_4, C_3)$-Free Graphs
Goedgebeur and Schaudt [J. Graph Theory 87 (2018), 188-207] conjectured that every $4$-vertex-critical $(P_7,C_3)$-free graph belongs to a family of seven explicitly defined graphs. In this paper, we establish a structural theorem for connected $(P_2\cup P_4,C_3)$-free graphs. As a consequence, we prove that the Mycielski-Grötzsch graph is the unique $4$-vertex-critical graph in this class, thereby confirming the conjecture of Goedgebeur and Schaudt for $(P_2\cup P_4,C_3)$-free graphs. Our structural theorem also yields a characterization of the chromatic number of these graphs and an $O(n^4)$-time algorithm for deciding whether an $n$-vertex $(P_2\cup P_4,C_3)$-free graph is $3$-colorable.
We further study perfect divisibility in the larger class of $(P_2\cup P_4,\text{bull})$-free graphs. We prove that a $(P_2\cup P_4,\text{bull})$-free graph is perfectly divisible if and only if it is Mycielski-Grötzsch graph-free. This result generalizes the main theorem of Deng and Chang [Graphs Combin. 41 (2025), 63].
Spectrally symmetric orientations of graphs
The Hermitian adjacency matrices of digraphs based on the sixth root of unity were introduced in [B. Mohar, A new kind of Hermitian matrices for digraphs, Linear Alg. Appl. (2020)]. They appear to be the most natural choice for the spectral theory of digraphs. Undirected graphs have adjacency spectrum symmetric about 0 if and only if they are bipartite. The situation is more complex for the Hermitian spectra of digraphs. In this paper we study non-bipartite oriented graphs with symmetric Hermitian spectra. Our main result concerns the extremal problem of maximizing the density of spectrally symmetric oriented graphs. The maximum possible density is shown to be between 31/36} and 10/11. Furthermore, we give a necessary condition for an oriented graph to be spectrally symmetric based on the adjacency spectrum of the underlying graph. This allows us to show that line graphs of sufficiently dense graphs do not admit spectrally symmetric orientations. We also show how to construct infinite families of spectrally symmetric graphs using 1-sums.
The Full P-vertex Problem and Perfect Matchings for Bipartite Graphs
In a recent work, Sharma and Panda~\cite{sharma} showed that every bipartite graph with a perfect matching has property (P), and proved the converse for trees and unicyclic bipartite graphs (i.e., bipartite graphs with cycle rank $m(G) \le 1$). In this paper, we extend this result to broader classes of bipartite graphs. We first show that every bipartite graph with property (P) is balanced. We prove that the converse holds for all bipartite graphs with cycle rank $m(G)$ at most three, and further establish it for several additional families of bipartite graphs. Finally, we derive algebraic constraints for balanced bipartite graphs without perfect matchings and use them to identify a family of bipartite graphs that does not have property (P).