https://arxiv.org/api/gKRNo2MyyuqdWJkoDXlCMIt4B1k 2026-06-21T16:42:47Z 15689 675 15 http://arxiv.org/abs/2404.19222v3 2026-02-17T03:09:19Z

In 1996, Reed, Robertson, Seymour and Thomas [Combinatorica 1996] proved Younger's Conjecture, which states that, for all directed graphs $D$, there exists a function $f$ such that, if $D$ does not contain $k$ disjoint cycles, then $D$ contains a feedback vertex set, i.e.~a subset of vertices whose deletion renders the graph acyclic, of size bounded by $f(k)$. However, the function obtained by Reed, Robertson, Seymour and Thomas in their paper is enormous and, in fact, not even elementary. We prove the first elementary upper bound for the function $f$ above, showing it is upper-bounded by a power tower of height 8. Our proof is inspired by the breakthrough result of Chekuri and Chuzhoy [J. ACM 2016], who proved a polynomial bound for the Excluded Grid Theorem for undirected graphs. We translate a key concept of their proof to directed graphs by introducing paths of well-linked sets (PWS), and show that any digraph of large directed treewidth contains a large PWS, which in turn contains a large fence. We believe that the theoretical tools developed in this work may find applications beyond the results above, in a similar way as the path-of-sets-system framework due to Chekuri and Chuzhoy [J. ACM 2016] did for undirected graphs (see, for example, Hatzel, Komosa, Pilipczuk and Sorge [Discret. Math. Theor. Comput. Sci. 2022], Chekuri and Chuzhoy [SODA 2015] and Chuzhoy and Nimavat [arXiv 2019]). Indeed, in a follow-up paper, we apply this framework to improve the bounds of the Directed Grid Theorem.

2024-04-30T02:50:09Z Short version published at FOCS 2024 Meike Hatzel Stephan Kreutzer Marcelo Garlet Milani Irene Muzi http://arxiv.org/abs/2507.21864v3 2026-02-17T00:49:28Z

A bipartite graph $G = (X \cup Y, E)$ is a 2-layer $k$-planar graph if it admits a drawing on the plane such that the vertices in $X$ and $Y$ are placed on two parallel lines respectively, edges are drawn as straight-line segments, and every edge involves at most $k$ crossings. Angelini, Da Lozzo, Förster, and Schneck [GD 2020; Comput. J., 2024] showed that every 2-layer $k$-planar graph has pathwidth at most $k + 1$. In this paper, we show that this bound is sharp by giving a 2-layer $k$-planar graph with pathwidth $k + 1$ for every $k \geq 0$. This improves their lower bound of $(k+3)/2$.

2025-07-29T14:36:17Z 7 pages, 5 figures Yuto Okada 10.57717/cgt.v5i1.101 http://arxiv.org/abs/2602.14859v1 2026-02-16T15:53:07Z

The acyclic chromatic index (or acyclic edge-chromatic number) of a graph is the least number of colors needed to properly color its edges so that none of its cycles has only two colors. We show that for a graph of max degree $Δ$, the acyclic chromatic index is at most $3.142(Δ-1)+1$, improving on the (best to date) bound of Fialho et al. (2020). Our improvement is made possible by considering unordered (non-plane) trees, instead of ordered (plane) ones, as witness structures for the Lovász Local Lemma, a key combinatorial tool often used in related works. The counting of these witness structures entails methods of Analytic Combinatorics.

2026-02-16T15:53:07Z Lefteris Kirousis John Livieratos Alexandros Singh http://arxiv.org/abs/2602.14768v1 2026-02-16T14:19:24Z

Given an undirected graph G and a set A \subseteq V(G), an A-path is a path in G that starts and ends at two distinct vertices of A with intermediate vertices in V(G) \setminus A. An A-path is called an (A,\ell)-path if the length of the path is exactly \ell. In the {\sc (A, \ell)-Path Packing} problem (ALPP), we seek to determine whether there exist k vertex-disjoint (A, \ell)-paths in G or not. We pursue this problem with respect to structural parameters. We prove that ALPP is W[1]-hard when it is parameterized by the combined parameter distance to path (dtp) and |A|. In addition, we consider the combined parameters distance to cluster (cvd) + |A| and distance to cluster (cvd) + \ell. For both these combined parameters, we provide FPT algorithms. Finally, we consider the vertex cover number (vc) as the parameter and provide a kernel with O(vc^2) vertices.

2026-02-16T14:19:24Z Susobhan Bandopadhyay Aritra Banik Diptapriyo Majumdar Abhishek Sahu http://arxiv.org/abs/2602.15086v1 2026-02-16T13:09:02Z

The numerical values extracted from a graph that indicates its topology are called topological indices. A contemporary and efficient method is to compute a graph's topological indices using the graph polynomial that corresponds to it. This method of identifying degree-based topological indices involves the use of the M-polynomial. Very recently, in 2025, the hyperbolic Sombor index (HSO) was proposed and shows its chemical applicability for octane isomers and the structure sensitivity and abruptness for octane, nonane, and decane isomers, respectively. In this work, we establish the closed derivation formula for the above-mentioned index of a graph based on its M-polynomial. Additionally, we use our proposed derivation formula to calculate the hyperbolic Sombor index of a few standard graphs and chemical families. Moreover, we provide the numerical and graphical representations for the M-polynomial and the computed HSO index of the chemical families.

2026-02-16T13:09:02Z Jayjit Barman Shibsankar Das http://arxiv.org/abs/2602.14592v1 2026-02-16T09:48:24Z

Algorithmic meta-theorems provide an important tool for showing tractability of graph problems on graph classes defined by structural restrictions. While such results are well established for static graphs, corresponding frameworks for temporal graphs are comparatively limited. In this work, we revisit past applications of logical meta-theorems to temporal graphs and develop an extended unifying logical framework. Our first contribution is the introduction of logical encodings for the parameters vertex-interval-membership (VIM) width and tree-interval-membership (TIM) width, parameters which capture the signature of vertex and component activity over time. Building on this, we extend existing monadic second-order (MSO) meta-theorems for bounded lifetime and temporal degree to the parameters VIM and TIM width, and establish novel first-order (FO) meta-theorems for all four parameters. Finally, we signpost a modular lexicon of reusable FO and MSO formulas for a broad range of temporal graph problems, and give an example. This lexicon allows new problems to be expressed compositionally and directly yields fixed-parameter tractability results across the four parameters we consider.

2026-02-16T09:48:24Z Michelle Döring Jessica Enright Laura Larios-Jones George Skretas http://arxiv.org/abs/2207.13062v4 2026-02-15T21:52:57Z

It is well-known that the spacetime diagrams of some cellular automata have a fractal structure: for instance Pascal's triangle modulo 2 generates a Sierpinski triangle. It has been shown that such patterns can occur when the alphabet is endowed with the structure of an Abelian group, provided the cellular automaton is a morphism with respect to this structure and the initial configuration has finite support. The spacetime diagram then has a property related to k-automaticity. We show that these conditions can be relaxed: the Abelian group can be a commutative monoid, the initial configuration can be k-automatic, and the spacetime diagrams still exhibit the same regularity.

2022-07-26T17:34:12Z 33 pages, 13 figures Vincent Nesme http://arxiv.org/abs/2512.23527v2 2026-02-15T21:18:29Z

Given a resistive electrical network, we would like to determine whether all the resistances (edges) in the network are working, and if not, identify which edge (or edges) are faulty. To make this determination, we are allowed to measure the effective resistance between certain pairs of nodes (which can be done by measuring the amount of current when one unit of voltage difference is applied at the chosen pair of nodes). The goal is to determine which edge, if any, is not working in the network using the smallest number of measurements. We prove rigorous upper and lower bounds on this optimal number of measurements for different classes of graphs. These bounds are tight for several of these classes showing that our measurement strategies are optimal.

2025-12-29T15:05:46Z Barbara Fiedorowicz Amitabh Basu http://arxiv.org/abs/2602.14179v1 2026-02-15T15:11:37Z

The notion of word-representable graphs is a generalization of comparability graphs, in which graphs are represented by words. The complexity of word-representation of a word-representable graph is captured through the representation number, whereas the corresponding concept is the permutation-representation number for comparability graphs. The graphs with the (permutation-)representation number at most two were characterized in the literature. While certain examples in the class of graphs with the (permutation-)representation number three are known, no characterization for these classes is available. In this work, we prove that the representation number of melon graphs is at most three. Further, we characterize the class of melon graphs restricted to comparability graphs and show that their permutation-representation number is also at most three. Moreover, this work characterizes the word-representable line graphs of melon graphs and establishes that their representation number is at most three.

2026-02-15T15:11:37Z To appear in the journal "Graphs and Combinatorics" Khyodeno Mozhui K. V. Krishna http://arxiv.org/abs/2411.16085v4 2026-02-15T02:16:45Z

AdamW has been the default optimizer for transformer pretraining. For many years, our community searched for faster and more stable optimizers with only constrained positive outcomes. In this work, we propose a \textbf{one-line modification in Pytorch} to any momentum-based optimizer, which we rename cautious optimizer, e.g. C-AdamW and C-Lion. Our theoretical result shows that this modification preserves Adam's Hamiltonian function and it does not break the convergence guarantee under the Lyapunov analysis. In addition, a whole new family of optimizers is revealed by our theoretical insight. Among them, we pick the simplest one for empirical experiments, showing not only consistent speed-up on LLM pretraining, but also image classification, with minimum extra tuning on hyperparameters. Code is available at https://github.com/kyleliang919/C-Optim.

2024-11-25T04:36:01Z Kaizhao Liang Lizhang Chen Bo Liu Qiang Liu http://arxiv.org/abs/2602.13781v1 2026-02-14T13:58:19Z

Let $D=(V(D),A(D))$ be a digraph with a terminal vertex subset $S\subseteq V(D)$ such that $|S|=k\geq 2$. An out-tree $T$ of $D$ rooted at $r$ is called a directed pendant $(S,r)$-Steiner tree (or, pendant $(S,r)$-tree for short) if $r\in S\subseteq V(T)$ and $d_{T}^{+}(r)=d_{T}^{-}(u)=1$ for each $u\in S\backslash \{r\}$. Two pendant $(S,r)$-trees $T_{1}$ and $T_{2}$ are internally-disjoint if $A(T_{1})\cap A(T_{2})=\varnothing$ and $V(T_{1})\cap V(T_{2})=S$. The pendant-tree $k$-connectivity $τ_{k}(D)$ of $D$ is defined as $$τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\},$$ where $τ_{S,r}(D)$ denotes the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$. In this paper, we derive a sharp lower bound for the pendant-tree 3-connectivity of the Cartesian product digraph $D\square H$, where $D$ and $H$ are both strong digraphs. Specifically, we prove the lower bound $τ_{3}(D\square H)\geq τ_{3}(D)+τ_{3}(H)$. Moreover, we propose a polynomial-time algorithm for finding internally-disjoint pendant $(S,r)$-trees which attain this lower bound.

2026-02-14T13:58:19Z Shanshan Yu Yuefang Sun http://arxiv.org/abs/2602.13686v1 2026-02-14T09:12:46Z

This paper introduces a group-theoretic framework to analyze the algebraic structure of the Grover walk on a complete graph with self-loops. We construct a group generated by the Grover matrix and a diagonal matrix whose entries are powers of a complex root of unity. We then characterize the resulting quotient group, which is defined using a subgroup formed by commutators involving these matrices. We show that this quotient group is isomorphic to a finite cyclic group whose structure depends on the parity of the number of vertices. This group-theoretic characterization reveals underlying symmetries in the time evolution of the Grover walk and provides an algebraic framework for understanding its periodic behavior.

2026-02-14T09:12:46Z 13 pages Discrete Mathematics, Volume 349(7), 2026 Tatsuya Tsurii Naoharu Ito 10.1016/j.disc.2026.115036 http://arxiv.org/abs/2602.13511v1 2026-02-13T22:40:17Z

Given a set of entities each holding a Boolean state, the Density Classification Task (DCT) asks them to converge to the most represented state. Given a directed graph of entities where each node synchronously updates to the local majority among its in-neighbors, we characterize in terms of three forbidden patterns when it solves DCT, and show that discovering these patterns is complete for NP and PSPACE.

2026-02-13T22:40:17Z Kévin Perrot Marius Rolland http://arxiv.org/abs/2510.06849v2 2026-02-13T17:37:26Z

An orientation of a given static graph is called transitive if for any three vertices $a,b,c$, the presence of arcs $(a,b)$ and $(b,c)$ forces the presence of the arc $(a,c)$. If only the presence of an arc between $a$ and $c$ is required, but its orientation is unconstrained, the orientation is called quasi-transitive. A fundamental result presented by Ghouila-Houri guarantees that any static graph admitting a quasi-transitive orientation also admits a transitive orientation. In a seminal work, Mertzios et al. introduced the notion of temporal transitivity in order to model information flows in simple temporal networks. We revisit the model introduced by Mertzios et al. and propose an analogous to Ghouila-Houri's characterization for the temporal scenario. We present a structure theorem that will allow us to express by a 2-SAT formula all the constraints imposed by temporal transitive orientations. The latter produces an efficient recognition algorithm for graphs admitting such orientations. Additionally, we extend the temporal transitivity model to temporal graphs having multiple time-labels associated to their edges and claim that the previous results hold in the multilabel setting. Finally, we propose a characterization of temporal comparability graphs via forbidden temporal ordered patterns.

2025-10-08T10:14:02Z 20 pages. Minor fixes and rewriting (a new lemma - Lemma 7 in this version - has been added to fix a small missing argument in the proof of the characterization) Pierre Charbit Michel Habib Amalia Sorondo http://arxiv.org/abs/2602.12926v1 2026-02-13T13:36:53Z

A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every short sequence of flips can be simulated by a short sequence of vertex deletions that achieves a similar degree of separation: distances in the resulting graph are, up to a factor of three, at least as large as those obtained after the flips. This result provides a simple and uniform explanation of an emerging pattern in structural graph theory and finite model theory: the $K_{t,t}$-free fragment of a tameness notion for dense graphs often coincides with a tameness notion for sparse graphs. As immediate applications, we recover the following known equivalences. In the $K_{t,t}$-free setting, the dense notions (1) bounded shrub-depth, (2) bounded clique-width, (3) bounded flip-width, (4) monadic dependence, respectively, coincide with the sparse notions (1) bounded tree-depth, (2) bounded tree-width, (3) bounded expansion, and (4) no-where dense-ness. Furthermore, we reprove the result by Dreier and Toruńczyk (STOC 2025) stating that $K_{t,t}$-free classes of bounded merge-width have bounded expansion. Our proof provides explicit bounds and is direct, as it shows how to construct strong coloring orders (witnesses of bounded expansion) from merge sequences (witnesses of bounded merge-width). Along the way, we identify a new family of graph parameters, dubbed separation-width, that is sandwiched between the strong and weak coloring numbers, and is closely related to the merge-width parameters. We provide evidence that this family of graph parameters, apparently overlooked in the literature, may play a fundamental role in the study of sparse graphs.

2026-02-13T13:36:53Z Karolina Drabik Maël Dumas Nikolas Mählmann Wojciech Przybyszewski Szymon Toruńczyk