https://arxiv.org/api/4aK4MajwnNH6urgLlxpzsy/jOKI 2026-09-11T00:59:55Z 16091 135 15 http://arxiv.org/abs/2608.11038v2 2026-08-25T12:30:37Z

We study the graphic $s$-$t$ path TSP on subcubic graphs (maximum degree 3): given distinct vertices $s,t$, find a shortest $s$-$t$ walk that visits every vertex. We prove an upper bound with the asymptotically optimal leading coefficient $5/4$ for every terminal pair, even when $G-\{s,t\}$ is disconnected. Specifically, every simple 2-connected subcubic graph $G$ on $n$ vertices has a spanning $s$-$t$ walk of length at most $\lfloor(5n+n_2(G))/4\rfloor$, where $n_2(G)$ counts its degree-2 vertices. An $O(n^2)$-time algorithm attains this bound. Combining an edge-rooted even-cover theorem of Wigal, Yoo, and Yu (WYY) with an even-cover-to-walk lemma proved here yields this bound for adjacent terminals, a consequence not stated explicitly in their paper. We extend the bound to arbitrary terminal pairs. For cubic graphs, it becomes $\lfloor 5n/4 \rfloor$, to our knowledge the first direct $5/4$ bound for cubic path TSP that does not use the general path-to-tour reduction.

2026-08-11T15:12:58Z 12 pages, 2 figures Junho Hwang http://arxiv.org/abs/2608.24336v1 2026-08-25T10:00:46Z

Metric bases of graphs have been widely studied since their introduction in the 1970's by Slater and, independently, by Harary and Melter. In this paper, we concentrate on the existence of vertices in a graph $G$ that belong to all metric bases of $G$. We call these basis forced vertices, and denote the number of them by $\mathrm{bf}(G)$. We show that $\mathrm{bf}(G)\le 2/3(n-k-1)$ for any connected nontrivial graph $G$ of order $n$ having $k$ vertices in each metric basis. In addition, we show that this bound can be attained. Furthermore, the previous result implies the bound $\mathrm{bf}(G)\le 2/5(n-1)$ formulated in terms of the order $n$ of the graph for any nontrivial connected graph $G$. This result answers a question posed by Bagheri et al. in 2016. Moreover, we provide a complete realization of the parameters $n$, $\dim(G)$ and $\mathrm{bf}(G) \ge 1$ within the previous bounds. We consider some extremal cases related to basis forced vertices in a graph, in particular, we give a full characterization of the graphs with $\mathrm{bf}(G) = 2$ and $\dim(G) = n-4$.

2026-08-25T10:00:46Z 19 pages, 8 figures. Parts of this paper appeared in CALDAM 2025 Anni Hakanen Ville Junnila Tero Laihonen Havu Miikonen Ismael G. Yero http://arxiv.org/abs/2608.24239v1 2026-08-25T08:44:25Z

We prove three theorems on the flow monoids of finite graphs. First, we show that a non-empty finite graph G = (V, E) is connected if and only if its flow monoid contains a constant map on V, equivalently, if and only if it contains all constant maps on V. Second, we give a new characterization of graph minors in terms of division of flow transformation monoids, together with an algebraic crossing condition that detects edges between the vertex sets being contracted. Third, we strengthen this to an embedded-copy theorem: a graph M is a minor of G if and only if, subject to analogous crossing conditions, the flow transformation monoid of M is realized as the induced action of a subsemigroup of the ambient flow monoid of G, this subsemigroup being a monoid with a local idempotent identity.

2026-08-25T08:44:25Z In Proceedings AFL 2026, arXiv:2608.23071 EPTCS 451, 2026, pp. 48-59 Amena Assem University of Waterloo, Canada Hanna Derets University of Waterloo, Canada Chrystopher L. Nehaniv University of Waterloo, Canada 10.4204/EPTCS.451.4 http://arxiv.org/abs/2509.24656v3 2026-08-25T07:19:00Z

We revisit the tree-based formulation of the minimum-cost multi-commodity flow problem, due to Jones et al. (1993), who found that path-based decomposition converges in fewer master iterations and reported lower CPU times for it. The formulation represents the flow out of each source as a convex combination of shortest-path trees, so the master problem has one demand constraint per source $|S|$ rather than per commodity $|K|$. We re-examine it on 44 instances with up to 3.3 million commodities, three orders of magnitude beyond the scale available to Jones et al. (1993), under five linear programming backends spanning four barrier codes, open source and commercial, CPU and GPU. Their convergence result is confirmed: the tree-based formulation still requires two to three times as many iterations. Their wall-clock conclusion, however, is reversed under every backend in the regime $|S| \ll |K|$: tree-based column generation is 1.4 to 1.9 times faster on the shifted geometric mean, reaches a factor of 99 on the instance with the most commodities, and solves 43 or 44 of the 44 instances under every backend, where the path-based formulation solves 38 to 42, its failures concentrated on the largest transportation instances. Both decompositions are 15 to 28 times faster than solving the compact model directly (5 to 25 on the instances that model solves). The measurements identify the mechanism: the master problem accounts for 87% to 99% of the runtime, and the tree-based master is up to 32 times smaller at termination. The advantage disappears when $|S|$ approaches $|V|$, where a tree column has non-zeros in a large fraction of the master's rows, as on the planar2500 instance. An open-source C++ implementation accompanies the paper.

2025-09-29T12:04:22Z Simon Spoorendonk Bjørn Petersen http://arxiv.org/abs/2608.24078v1 2026-08-25T05:19:19Z

We study subsets of the integer lattice represented by single-variable-per-inequality (SVPI), difference-constraint (DC), unit two-variable-per-inequality (UTVPI), and two-variable-per-inequality (TVPI) systems. We relate five viewpoints: inequality representation, discrete convexity, polymorphisms, reconstruction from two-coordinate projections, and fixed points of closure operators. Our central result completely characterizes UTVPI-representability. For every set $S\subseteq\mathbb Z^n$ with $n>1$, \[ \begin{aligned} &S\text{ is UTVPI-representable}\\ &\;\Longleftrightarrow\; S\text{ is closed under the directed midpoint and median operations}\\ &\;\Longleftrightarrow\; S\text{ is integrally convex and $2$-decomposable}. \end{aligned} \] The median condition may instead be replaced by closedness under some majority operation, and the same class is the fixed-point class of a pairwise directed-midpoint closure operator. Thus, all five viewpoints yield equivalent characterizations of UTVPI-representability. In particular, $2$-decomposability is exactly the global condition needed to lift the known two-dimensional equivalence between integral convexity and UTVPI-representability to arbitrary dimension. This theorem is embedded in a broader pairwise-closure theory. For a family $F$ of operations, we define a closure operator by closing every two-coordinate projection under $F$ and joining the resulting sets. Its fixed points are precisely the sets that are both $2$-decomposable and $F$-closed, and we establish a local-to-global criterion for such characterizations. A closed-convex-hull analogue characterizes TVPI-representability. We also characterize SVPI-representability by natural multioperations, prove limitations of operation-based characterizations for several related classes, and determine the complete inclusion hierarchies in the general, Boolean, and two-dimensional settings.

2026-08-25T05:19:19Z 48 pages Kei Kimura Kazuhisa Makino Shota Yamada Ryo Yoshizumi http://arxiv.org/abs/2608.24047v1 2026-08-25T04:14:15Z

A graph is called 10-tough and $(2P_2 \cup P_1)$-free if every vertex set whose deletion leaves at least two components has cardinality at least ten times the number of those components and if the graph has no induced subgraph consisting of two disjoint edges and an isolated vertex. We prove that every finite simple 10-tough $(2P_2 \cup P_1)$-free graph on at least three vertices is Hamiltonian. The proof splits according to whether some edge has joint neighbourhood of order at most $4n/11$. In the small-neighbourhood case, a matched path-cover is compressed to a prescribed matching. In the large-neighbourhood case, an asymmetric analysis of the two components left by a putative small cut yields the required connectivity bound. A Hamilton cycle through the prescribed edges is then expanded, and a cycle-extension lemma inserts the remaining vertices.

2026-08-25T04:14:15Z 16 pages, no figures Qiuyu Chen http://arxiv.org/abs/2608.23876v1 2026-08-24T22:32:12Z

Centrality measures are defined for simple graphs -- directed, undirected, weighted or unweighted. Attributed graphs have to be reduced to simple graphs for computing centrality measures. However, when applications with multiple types of relationships are modeled using multilayer networks (MLNs), simple graph algorithms cannot be directly used. Existing approaches typically analyze MLNs by aggregating layers of an MLN into a single graph, which results in the loss of structural and semantic information. The semantic information loss can be more pronounced particularly, in weighted networks. This work focuses on computing degree centrality in weighted homogeneous multilayer networks (HoMLNs) using a decoupling-based framework. The framework performs independent layer-wise analysis on MLNs without reducing them to simple graphs. The decoupling approach allows use of exiting algorithms for each layer and uses minimal information from individual layers for computing degree centrality of HoMLNs. We propose heuristic-based algorithms that strike a balance between accuracy and efficiency. The proposed methods are evaluated against ground truth (GT) results obtained using Boolean OR aggregation and naive baselines. Experimental results on both synthetic and real-world HoMLN datasets demonstrate that the heuristics achieve accuracy comparable to the ground truth while significantly improving computational efficiency, thereby establishing the scalability and effectiveness of the HoMLN algorithms developed using the decoupling approach.

2026-08-24T22:32:12Z Ayomide Ayowole-Obi Abhishek Santra Sharma Chakravarthy http://arxiv.org/abs/2608.23691v1 2026-08-24T18:00:03Z

We study autonomous mathematical discovery in the Station, an open-world multi-agent environment in which AI agents from different model families pursue a shared research goal without a central coordinator or scripted pipeline. Agents choose their own research directions, conduct experiments, collaborate, and build a shared scientific literature. Across 12 construction problems from the AlphaEvolve catalogue and two additional case studies, the Station obtained results novel relative to the prior literature on five problems: a new infinite family of finite-field Kakeya sets, new exact 604-point kissing configurations in dimension 11, new records for the discretized Kakeya needle and sign uncertainty problems, and a substantially improved lower bound for Erdős's minimum-overlap problem. Agents also discovered novel infinite families for Book Ramsey numbers. Importantly, the agents produced not only numerical constructions but also theorems and analyses explaining how those constructions work, making the results more interpretable and easier for mathematicians to build upon. We release all raw agent dialogues, proofs, and verification code, providing a transparent record of how these discoveries emerged.

2026-08-24T18:00:03Z 38 pages, 12 figures, 3 tables. Source code at https://github.com/dualverse-ai/station and raw agent dialogues, proofs, and verification artifacts at https://github.com/dualverse-ai/station_data_v2 Stephen Chung Wenyu Du William J. Wesley http://arxiv.org/abs/2608.23539v1 2026-08-24T17:44:01Z

The boxicity of a graph $G$, denoted by $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of axis-parallel boxes in $\mathbb{R}^d$. The class of zero divisor graphs introduced by Beck (1988) is a popular class of graphs and has been studied extensively by several researchers. Suppose $Z(R)$ is the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R $ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{x,y\}\colon x,y\in Z(R)\text{ with }x\neq y\text{ and }x y=0\}$. One can define an equivalence relation $\sim$ on $V(Γ(R))$ such that for vertices $x$ and $y$, one has $x\sim y$ if and only if $x$ and $y$ have the same annihilator, i.e., $Ann(x)=Ann(y)$. The compressed zero divisor graph $Γ_E(R)$ for a ring $R$ is the simple graph obtained from $Γ(R)$ by retaining exactly one vertex from each equivalence class induced by $\sim$. In this paper, we completely answer two open questions posed in Discrete Applied Mathematics 391 (2026), pp. 127-136. Let $N=\prod_{i=1}^a p_i^{n_i}$ be the prime factorization of a positive integer $N$ and let $\mathbb{Z}_N$ be the ring of integers modulo $N$. We determine the exact boxicity of the compressed zero divisor graph $Γ_E(\mathbb{Z}_N)$. We show that when $a\geq 2$, $box(Γ_E(\mathbb{Z}_N))= a-1$ if and only if one of the following is true: $(i)$ $a\geq 2$ and $N$ is the product of two coprime integers $x$ and $y$ such that $x$ is a square-free integer and $y$ is the cube of a prime number; $(ii)$ $a\geq 3$ and $N$ is square-free; $(iii)$ $a\geq 2$, $N$ is cube-free, not square-free, and contains at least one prime divisor $p_i$ such that $n_i=1$. If $a=2$ and $n_1=n_2=1$, then $Γ_{E}(\mathbb{Z}_N)$ is a clique, and so, $box(Γ_{E}(\mathbb{Z}_N))=0$. In all other cases, $box(Γ_{E}(\mathbb{Z}_N))=a$.

2026-08-24T17:44:01Z L. Sunil Chandran Suraj Kumar Sahoo http://arxiv.org/abs/2608.23652v1 2026-08-24T11:14:46Z

For integers $k,g \ge 3$ let $n_g(k)$ denote the minimum order of a graph with chromatic number $k$ and girth at least $g$. Exoo and Goedgebeur (DMTCS 2019) proved $26 \le n_6(4) \le 66$; their 66-vertex witness has remained the smallest known 4-chromatic graph of girth 6. We improve both bounds to $29 \le n_6(4) \le 64$. The upper bound is witnessed by an explicit 4-chromatic graph of girth 6 on 64 vertices with 152 edges; it is vertex- and edge-critical, and its automorphism group is cyclic of order 8 and acts semiregularly. The lower bound is an exhaustive isomorph-free computation in the SAT modulo symmetries framework with co-certificate learning, driven by the Liu-Postle edge-density bound for 4-critical graphs of girth five; it re-derives $n_6(4) \ge 26$ by a disjoint method and is validated on the known values $n_4(4)=11$ and $n_5(4)=21$. We complement the bounds with structural obstructions: no smaller witness arises from either known witness by local modifications; no 4-chromatic Cayley graph of girth 6 exists on 54-63 vertices (for orders 59 and 61 no vertex-transitive witness exists at all); and no witness on at most 63 vertices admits a semiregular automorphism group with two or three vertex orbits, for any finite group. Since every known witness of an $n_g(4)$ record with $g \ge 6$ is a lift of a small base graph along a semiregular action, these results close the most symmetric part of that regime below 64 vertices. All properties of the new graph are verified by independent programs and formally certified in the Lean 4 proof assistant: the non-3-colourability is established inside Lean by a formally verified checker that re-validates a 219,532-node refutation certificate, with a machine-checked soundness theorem.

2026-08-24T11:14:46Z 12 pages, 1 figure. Ancillary files: independent verification scripts, SAT certificates, and a self-contained Lean 4 formal proof. Code and data: https://github.com/glaucorampone/G64, archived at doi:10.5281/zenodo.21861488 Glauco Rampone http://arxiv.org/abs/2512.12231v2 2026-08-24T07:07:04Z

Vertex-edge domination is a natural variant of domination in which a vertex ve-dominates an edge whenever it is incident to the edge or adjacent to one of its endpoints. A set of vertices is a vedominating set if it ve-dominates every edge of the graph. In this paper, we introduce the notion of wellve- dominated graphs, namely graphs in which all minimal ve-dominating sets have the same cardinality. Equivalently, these are graphs whose minimal isolating sets all have the same cardinality; we refer to them as well-isolated graphs. We prove that recognizing well-ve-dominated graphs is co-NP-complete. We determine perfectly well-ve-dominated graphs, the largest hereditary subclass, and obtain both a complete forbidden induced subgraph characterization and a linear-time recognition algorithm. In particular, every connected nontrivial member of this subclass has vertex-edge domination and isolation number one. Finally, we characterize the class of well-ve-dominated trees. More precisely, we prove that well-ve-domination and well-ve-coveredness coincide on nontrivial trees, where well-ve-coveredness requires all minimal independent ve-dominating sets to have the same cardinality. The characterization yields a linear-time recognition algorithm and identifies the reduced members with the extremal trees attaining equality in the sharp isolation bound.

2025-12-13T08:00:39Z 21 Pages with 4 figures Yasemin Büyükçolak http://arxiv.org/abs/2608.22870v1 2026-08-24T06:56:24Z

A graph $G$ is \emph{apex} if $G$ has a vertex $v$ such that $G-v$ is planar. We prove that every $2$-connected apex cubic graph is three-edge-colorable. This result gives the final piece of the proof for the well-known Tutte's three-edge-coloring conjecture from 1966 \cite{tutte}. The proof, as well as the result, generalizes that of the Four Color Theorem, which requires computer checks. As in the previous proof of the Four Color Theorem, the proof is constructive. More precisely, given a $2$-connected apex cubic graph $G$ on $n$ vertices, our reducibility and discharging procedure yields a three-edge-coloring of $G$ in $O(n^2)$ time. As an additional reproducibility check for our computer checks, independent implementations reconstructed from the detailed pseudocode (given in the appendix) using generative AI systems reproduced the required computational results. These reconstructions are not part of the mathematical justification of the theorem, but provide additional evidence for the reproducibility of the computations.

2026-08-24T06:56:24Z We provide detailed pseudocode specifying the computer-assisted parts of the proof. Each pseudocode is linked to the corresponding function in the source code in GitHub https://github.com/three-edge-coloring-apex-cubic-graphs Yuta Inoue Ken-ichi Kawarabayashi Rintaro Matsuo Atsuyuki Miyashita Bojan Mohar Tomohiro Sonobe http://arxiv.org/abs/2608.22524v1 2026-08-23T17:49:10Z

We study one-sided online bipartite matching with recourse. In this setting, one side of a bipartite graph is known in advance, while vertices on the other side arrive online together with their incident edges. After each arrival, the algorithm must maintain a maximum-cardinality matching while minimizing the total number of reallocations, also known as the recourse budget. Despite extensive work, the exact recourse complexity of the problem remains unsettled: the best lower bound is $Ω(n \log n)$, whereas the best upper bound is $\mathcal{O}(n \log^2 n)$, where $n$ denotes the number of online vertices. Tight upper bounds of $\mathcal{O}(n \log n)$ are known only for restricted graph classes, such as forests. The best known upper bounds are attained by a very simple and natural algorithm SAP, which after each arrival applies a shortest augmenting path, and it is conjectured to be optimal. All known upper bound analyses of this algorithm do not depend on the particular maximum matching maintained by the algorithm. Consequently, they also apply to a more difficult problem, which we call the malicious matching setting: after each arrival, the maintained matching is replaced by a worst-case maximum matching for the next step. This led to the conjecture that the malicious setting still admits an $\mathcal{O}(n \log n)$ recourse bound, in line with the conjectured optimal complexity of the original model. Our main result is an $Ω(n \log^2 n)$ lower bound for the malicious matching setting, thus disproving the conjecture. Together with the previous upper bound, this settles the asymptotic recourse complexity of the malicious variant of the problem. We complement our lower bound with an upper bound of $\mathcal{O}(n \log n)$ for expander graphs.

2026-08-23T17:49:10Z Julia Baligacs Bartłomiej Bosek Paweł Putra Marek Sokołowski Anna Zych-Pawlewicz http://arxiv.org/abs/2608.22498v1 2026-08-23T16:33:40Z

Baste et al. (2020) conjectured that every regular graph of positive degree has domination number at most its edge domination number, the least size of a maximal matching. Combining published bounds settles the inequality for every degree at least nine. A reduction proves the inequality whenever one endpoint of each edge of a minimum maximal matching can be chosen to form a dominating set, and the Lovász Local Lemma shows such a choice exists for every degree at least seven, newly closing degrees seven and eight and leaving degrees three through six open. The reduction settles each open degree up to a bounded number of vertices, forty-eight for cubic graphs. At fifty vertices, however, the reduction meets an explicit cubic graph it cannot settle, though the inequality holds there too. The inequality cannot be tightened, since infinitely many cubic graphs have equal domination and edge domination numbers. The cubic case stays open, and even linear arguments from the local structure cannot close it. The middle degrees stay open beyond the graphs already settled.

2026-08-23T16:33:40Z 15 pages, 1 table Chakshu Gupta http://arxiv.org/abs/2608.22349v1 2026-08-23T10:33:40Z

The Erdős-Pósa theorem states that for every integer $k\geq1$, every graph contains either $k$ vertex-disjoint cycles or a set of $\mathcal{O}(k\log k)$ vertices meeting all cycles. This fundamental min-max duality has been extended to numerous settings, including long cycles, $S$-cycles, that is, cycles containing a vertex in a prescribed set $S$, and cycles satisfying various additional constraints. In contrast, much less is known when the packing itself is required to be induced, namely, when distinct cycles are vertex-disjoint and have no edges between them. We prove that long $S$-cycles admit an induced version of the Erdős-Pósa-type duality. More precisely, we show that there exists a polynomial function $f(k,\ell)$ such that for all integers $k\geq1$ and $\ell\geq3$, every graph contains either an induced packing of $k$ $S$-cycles of length at least $\ell$ or a set of at most $f(k,\ell)$ vertices whose closed neighbourhood intersects all $S$-cycles of length at least $\ell$. The proof introduces a new ear-decomposition technique based on fragile ears and yields a polynomial-time algorithm for every fixed $\ell$.

2026-08-23T10:33:40Z 50 pages and 2 figures Jungho Ahn O-joung Kwon