graph
35150 papers tagged with this keyword
The phylogenetic rank of a graph
The Pachter-Sturmfels phylogenetic rank of a graph G is the minimal number of metric trees needed to embed G isometrically. Here, all edges of G are of length one and the product of metric trees is endowed with the supremum norm. We develop both a greedy and an exact algorithm for computing phylogenetic ranks. Using our algorithms, we construct a database of phylogenetic ranks which includes all graphs on 6 and 7 vertices. In particular, we exhibit examples disproving that the phylogenetic rank is hereditary, bounded by $\lceil \frac{n}{2} \rceil$, and a generalised 4-point conjecture by Pachter and Sturmfels. In addition, we show that the phylogenetic rank is subadditive under 1-sums and certain 2-vertex-sums, and that it is trivially upper bounded by n-1, where n denotes the number of vertices. We also provide a complete classification of graphs with phylogenetic rank 1 and construct several infinite families with phylogenetic rank $\lceil \frac{n}{2} \rceil$.
A Complete Proof of the Strong Conjecture about $F$-Irregular Graphs
A graph $G$ is called $F$-irregular if all its vertices have distinct $F$-degrees, defined as the number of subgraphs of $G$ isomorphic to a given graph $F$ and containing the respective vertex. We prove the Strong Conjecture about $F$-irregular graphs (Dovzhenok, Filuta, and Chuhai, 2024), which states that for every connected graph $F$ of order at least three, there exist infinitely many $F$-irregular graphs. Fundamentally generalizing the classical existence conjecture by Chartrand et al. (1987), this work presents an authorized English translation of our original February 2024 manuscript, which was publicly presented in full at two scientific conferences the same year.
From one generator to loop order on the three-cube
We study the monoid $\mathcal W$ of based closed walks on the $1$-skeleton of the three-dimensional cube $Q_3$. The fundamental group of this graph is the free group $F_5$. We prove that every additive one-step reading, given by a sum of edge weights in an abelian group, factors through the directed transition counts, and we exhibit two closed walks with equal transition counts and different reduced loop words. Hence commutative aggregation does not determine the reduced loop word.
The reduced loop word gives a proper noncommutative recognition quotient. We also determine the shortest closed walk with trivial abelianization but nontrivial degree-two commutator information. Its minimum length in the cube edge metric is $14$.
We also obtain a separation between finite and unbounded memory. A two-state reading separates an order pair, while for every $k\geq1$, there is an explicit factorial pair which no $k$-state reading separates. An unbounded stack recovers the reduced loop word on every walk.
For integer-valued functions on the vertex set, potential readings vanish on closed walks, while occupation binding is not rectangular. More generally, every occupation-based constraint is rectangular on a class of histories if and only if the occupation vector is constant on that class.
Finally, a declared quarter-turn quaternion clock gives a second proper order-sensitive congruence, incomparable with the reduced-word quotient. The obstruction to commutative recovery, and the minimum $14$, remain valid on every hypercube $Q_n$, $n\geq3$.
Hamiltonicity in graphs defined by primes and primitive elements
A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.
Connected Mutual-Visibility in Graphs
A set $S$ of vertices of a graph $G$ is a connected mutual-visibility set if every two vertices of $S$ are joined by a shortest path whose internal vertices lie outside $S$, and the subgraph induced by $S$ is connected. We introduce the connected mutual-visibility number $μ_c(G)$, defined as the maximum cardinality of such a set, and investigate its structural and algorithmic properties. We establish fundamental bounds, derive Nordhaus--Gaddum type inequalities, and characterise the graphs attaining the minimum and maximum possible values. For regular $(d,2,-δ)$-graphs, we derive general bounds on $μ_c(G)$ and determine its exact value for the two cubic graphs of defect $2$. We further show that $μ_c(G)$ is determined locally by the block structure of $G$, namely, it is equal to the maximum of the corresponding values over the blocks of $G$. Finally, we present a polynomial-time algorithm for recognising connected mutual-visibility sets and prove that the associated decision problem is $\mathsf{NP}$-complete, even for connected bipartite graphs of diameter at most $4$.
A non-trivial bound for 3AP-intersecting families
A family $F$ of subsets of $[n]$ is 3AP-intersecting if every two members have intersection containing a non-trivial three-term arithmetic progression. We prove that there is an absolute constant $c>0$ such that any such $F$ has size at most $(\tfrac12 - c)2^n$. This is the first non-trivial progress towards a conjecture of Simonovits and Sós that the maximum possible size is $2^{n-3}$. More generally, we show the same bound for $H$-intersecting families whenever $H$ is a $3$-graph on $[n]$ with bounded codegrees. A clique shows that this is sharp, in that the bounded codegree assumption cannot be removed.
Sharp Rainbow Path Covers in Dense and Complete Multipartite Graphs
A path in a properly edge-colored graph is rainbow if its edges have pairwise distinct colors. For a proper edge-coloring $c$ of a graph $G$, let $\operatorname{rpc}(G,c)$ be the minimum number of rainbow paths needed to cover $E(G)$, and let $\operatorname{rpc}(G)$ be the maximum of $\operatorname{rpc}(G,c)$ over all proper edge-colorings of $G$. We prove that, for every fixed $0<α<1$, every properly edge-colored $n$-vertex graph with minimum degree at least $αn$ satisfies $\operatorname{rpc}(G,c)\leq(1+o(1))n/2$, where the coefficient $1/2$ is best possible. We also determine $\operatorname{rpc}(G)$ asymptotically for every complete multipartite graph. If $G=K_{n_1,\ldots,n_r}$ has order $n$ and largest and smallest part sizes $M$ and $s$, respectively, then, uniformly over all choices of the number and sizes of the parts, $\operatorname{rpc}(G)=(1+o(1))\max\{\min\{\lfloor n/2\rfloor,n-M\},(n-s)/2\}$. The proof combines pseudorandom packings of globally rainbow linear forests with a decomposition into dense parts and prescribed avoidance for arbitrary dense graphs, and with reserved connectors and a direct dominant-part argument for complete multipartite graphs.
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
The tree-independence number $tree\text{-}α(G)$, the induced matching treewidth $tree\text{-}μ(G)$, and the sim-width $simw(G)$ are graph parameters defined in terms of tree or branch decompositions. We establish two polynomial bounds for the tree-independence number of induced $K_{t,t}$-free graphs, one in terms of sim-width and the other in terms of induced matching treewidth. Abrishami et al. (SIDMA, 2025) and Brettell et al. (EJC, 2025) asked whether bounded sim-width, together with the exclusion of an induced $K_{t,t}$, implies bounded tree-independence number. We answer this question by proving that, for integers $t\geq 2$ and $s\geq 1$, every induced $K_{t,t}$-free graph $G$ with $simw(G)\leq s$ satisfies $tree\text{-}α(G)=O_t\left((s+1)^{2t^2-2t}\right)$. This also proves a polynomial strengthening of a conjecture of Bešter Štorgel et al. (arXiv, 2026) concerning induced $K_{1,t}$-free graphs and improves a theorem of Alon et al. (arXiv, 2025) by reducing the exponent from $3t^2+1$ to $2t^2-2t$. Alon et al. (arXiv, 2025) asked whether, for fixed induced matching treewidth, the tree-independence number is polynomially bounded in $t$. Using a VC-dimension argument, we answer this question affirmatively by showing that, for integers $μ\geq 1$ and $t\geq 2$, every induced $K_{t,t}$-free graph $G$ with $tree\text{-}μ(G)\leqμ$ satisfies $tree\text{-}α(G)=t^{O_μ(1)}$.
A Hajnal-Szemerédi Theorem for Skewed Colorings
The Hajnal-Szemerédi theorem guarantees an equitable $(r + 1)$-coloring of every graph of maximum degree at most $r$. We prove a version of this result for more general prescribed color class sizes, subject only to a natural upper bound.
An inequality for the number of independent sets of matroids with an application to the forest-tree ratio of graphs
Let $M=(E,\mathcal{I})$ be a matroid of rank $r$. Let $\mathcal{I}_k$ be the independent sets of size $k$, and let $I_k=|\mathcal{I}_k|$ and $I=|\mathcal{I}|$. We show that if every set $F\in \mathcal{I}_{r-1}$ is contained in at least $δ$ bases, then $$\ln \left(\frac{I}{I_r}\right)\geqslant \frac{I_{r-1}}{I_r}\cdot δ\ln \left(1+\frac{1}δ\right).$$ In particular, we have $$\frac{I}{I_r}\geqslant 2^{I_{r-1}/I_r}.$$ By combining this result with several other ideas, we prove that if $G$ is a simple connected graph on $n$ vertices, and $F(G)$ and $T(G)$ denote its numbers of spanning forests and spanning trees, respectively, then $$\frac{F(G)}{T(G)}\geqslant \frac{F(K_n)}{T(K_n)},$$ where $K_n$ is the complete graph on $n$ vertices. Equality holds if and only if $G=K_n$.
Antidirected forests in digraphs
A digraph is antidirected if every vertex has indegree zero or outdegree zero. Let $k\ge2$, and let $F$ be an antidirected forest with $k$ arcs and no isolated vertices. We prove that every digraph $D$ of order $n$ with more than $g_k(n):=2\max\left\{\binom{2k-1}{2}, (k-1)\left(n-\frac{k}{2}\right)\right\}$ arcs contains $F$ as a subdigraph. For $n\ge2k-1$, this threshold equals $2\mathrm{ex}(n,kK_2)$ and is attained by symmetric digraphs arising from extremal $kK_2$-free graphs. Consequently, the maximum directed extremal number over all such forests is $2\mathrm{ex}(n,kK_2)$. The proof combines a counting inequality for rooted antidirected forests, embeddings extending vertex-disjoint arcs, and vertex deletion. In the remaining case, the Gallai--Edmonds decomposition of the underlying graph gives the required bound on the number of arcs.
Exact Values, Extremal Classifications, and Sum-of-Squares Reductions for Second-Order Zarankiewicz Numbers
There is a natural connection between the SOS rank problem for bi-quadratic forms and the Zarankiewicz extremal problem for C4-free bipartite graphs. The classical Zarankiewicz number z(m,n) controls the bipartite skeleton associated with monomial squares. Allowing two cells to form a single bilinear square leads to augmented Zarankiewicz configurations and the second-order Zarankiewicz number z2(m,n). Unlike zRL and zSL, defined through recursive sufficient conditions, z2 maximizes over all irreducible displayed SOS decompositions without imposing (RW 3+). Hence, to prove z2(m,n)<=R, one must prove that every simple limited configuration with more displayed squares is reducible; failure of a sufficient condition cannot serve as a counterargument.
We prove z2(4,4)=10, z2(7,4)=19, z2(8,4)=21, z2(5,5)=17, and obtain z2=zSL=zRL in all these cases. The extremal irreducible 6x4 configurations with 16 displayed squares form a single isomorphism class under row and column relabeling, whereas the extremal irreducible 7x4 configurations with 19 displayed squares form exactly three isomorphism classes. The four-column results form a structural chain: classify lower-order extremal configurations first, then use hereditary irreducibility under deletion of complete squares to constrain the next order. Finite exhaustive steps use candidate pruning, a necessary compatibility graph, clique enumeration, and orbit reduction, with a verifiable reducibility or irreducibility proof for each remaining orbit. For 5x5, there are two ordinary extremal skeletons; finite exclusion leaves only two highly symmetric 18-square candidates. They define the same ten-square polynomial, which admits an explicit nine-square representation, yielding the upper bound for z2(5,5).
The Complexity of Undirected Partizan Edge Geography
Partizan Edge Geography is a two-player game on a graph where each player has their own token on a vertex and moves their token to a neighbor in a turn removing the edge. Two player alternately move their tokens and the first player who cannot move loses the game. Fraenkel and Simonson (TCS, 1993) showed that the winner determination of this game is PSPACE-complete on directed graphs, given a graph and token positions.
This paper resolves its complexity on undirected graphs by showing the PSPACE-completeness on bipartite undirected graphs of maximum degree 3. The same reduction also works for a variant where two tokens cannot be placed on the same vertex.
Turán-type extremal problems for unbalanced signed graphs
In this paper, we establish two Turán-type results for signed graphs. We first generalize the classical Turán theorem to signed graphs and then extend Nikiforov's spectral Turán theorem to signed graphs. Moreover, we determine the second maximum spectral radius among all unbalanced signed graphs that contain no balanced complete signed subgraph on \(r+1\) vertices.
A near-linear upper bound for Burr's conjecture
Let $f(k)$ denote the smallest integer such that every oriented graph $D$ with chromatic number at least $f(k)$ contains every oriented tree on $k$ vertices. Burr (1980) showed that $f(k)\le (k-1)^2$ and conjectured that $f(k)=2k-2$. Bessy, Gonçalves and Reinald (2025) proved that $f(k)=O(k^{3/2})$. In this paper, by using an absorbing set method, we show that $f(k)\le \lfloor 31\log (k!)\rfloor=O(k\log k)$.
Perfect state transfer under matrix powers: parity and spectral arithmetic
For a real symmetric matrix $H$ and distinct vertices $a,b$, we classify exponents $k$ for which $H^k$ has perfect state transfer (PST) from $a$ to $b$. If their supported eigenvalues are integer multiples of a common positive number, every odd exponent reduces to $H$ and every positive even exponent reduces to $H^2$. We determine the minimum transfer times using a greatest common divisor of supported spectral differences. For rational symmetric matrices, symmetry of the source vertex support about zero implies the odd-power equivalence without a commensurability assumption; this includes all bipartite graphs. If the source vertex supports zero, PST under one positive even power implies PST under every positive even power. For a symmetric three-point quadratic spectrum whose outer projection signs agree and differ from the central sign, a nonzero rational shift leaves exactly one PST exponent. We classify all adjacency powers of hypercubes, cycles, and Johnson graphs, and all adjacency squares of paths. In particular, the adjacency matrix of $P_7$ has PST from vertex $2$ to vertex $6$ only at exponent $2$.
Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
Let $\mathcal P_k=\mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra over the prime field $\mathbb F_2$, viewed as an unstable module over the mod-$2$ Steenrod algebra $\mathcal A$. The well-known Peterson hit problem asks for a minimal set of generators for the $\mathcal A$-module $\mathcal P_k$. This is equivalent to determining the dimension of the cohit space $(Q\mathcal P_k)_d=(\mathcal P_k/\mathcal A^{+}\mathcal P_k)_d$, where $\mathcal A^{+}$ denotes the augmentation ideal of $\mathcal A$, for every $k\geq1$ and positive degree $d$. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of $(Q\mathcal P_k)_d$ in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers $k$ and $d.$
Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
Logarithmic Circumference In Tough Graphs
For every real $t>0$, we prove that every $2$-connected $t$-tough graph contains a cycle of length at least $\ell$ whenever $n \leq \ell(1 + 1/t)^{\lfloor \ell/2\rfloor - 1}$. This establishes the logarithmic bound conjectured by Broersma, van den Heuvel, Jung, and Veldman.
A short proof of the Erd\H os--Sós Conjecture
The Erd\H os--Sós Conjecture was recently proved by GPT-6 Astra, using a very ingenious and surprising argument. In this note, we present a simplified version of this argument in an (arguably) more natural form. We also determine the extremal graphs for the Erd\H os--Sós Conjecture, and prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, again determining the extremal graphs.
The List Edge-Coloring Conjecture for New Infinite Families
The List Edge-Coloring Conjecture predicts that any graph whose edges can be colored with $k$ colors can also be colored from arbitrary lists of $k$ colors. We prove its stronger online form for two new infinite families, $K_{p-1}$ and $K_{2p}$, where $p$ is an odd prime. For even $n$, order the vertices of $K_n$ and draw each perfect matching as arcs above them. Count crossings separately within each matching, and let $S_n$ be the number of decompositions into perfect matchings having an even total crossing count minus the number having an odd total. Then \[
S_{p-1}\equiv\left(\frac{-2}{p}\right)\pmod p,
\qquad
S_{2p}\equiv-p\pmod {p^2}. \] The two congruences are governed by the same elementary matching sum over $\F_p$, although their proofs use the prime $p$ differently. Their nonzero residues give the conjectured values even in the online game. They also treat the corresponding complete graphs with one perfect matching removed, as well as $K_{2p}$ after deleting some, but not all, of a natural cyclic family of $p$ disjoint perfect matchings.