arXiv Science⌕ Search

subject

cs.DM

cs.DM: explore 112 source-linked works published from 2011 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Search within this collection

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-15. Counts describe this index, not the complete source archives.

arXiv2026

Towards Solving the Gilbert-Pollak Conjecture via Large Language Models

The Gilbert-Pollak Conjecture \citep{gilbert1968steiner}, also known as the Steiner Ratio Conjecture, states that for any finite point set in the Euclidean plane, the Steiner minimum tree has length at least $\sqrt{3}/2 \approx 0.866$ times that of the Euclidean minimum spanning tree (the Steiner ratio). A sequence of improvements through the 1980s culminated in a lower bound of $0.824$, with no substantial progress reported over the past three decades. Recent advances in LLMs have demonstrated strong performance on contest-level mathematical problems, yet their potential for addressing open, research-level questions remains largely unexplored. In this work, we present a novel AI system for obtaining tighter lower bounds on the Steiner ratio. Rather than directly prompting LLMs to solve the conjecture, we task them with generating rule-constrained geometric lemmas implemented as executable code. These lemmas are then used to construct a collection of specialized functions, which we call verification functions, that yield theoretically certified lower bounds of the Steiner ratio. Through progressive lemma refinement driven by reflection, the system establishes a new certified lower bound of 0.8559 for the Steiner ratio. The entire research effort involves only thousands of LLM calls, demonstrating the strong potential of LLM-based systems for advanced mathematical research.

cs.DM↗
arXiv2026

On the volumes of the elliptope, metric polytope, and cut polytope

In this paper, we investigate the relationships between the volumes of four convex bodies: the cut polytope, metric polytope, rooted metric polytope, and elliptope, defined on graphs with n vertices. After an affine change of coordinates for the elliptope, the cut polytope is contained in each of the other three, which, for optimization purposes, provide polynomial-time relaxations. It is therefore of interest to see how tight these relaxations are. Worst-case ratio bounds are well known, but these are limited to objective functions with non-negative coefficients. Volume ratios, pioneered by Jon Lee with several co-authors, give global bounds and are the subject of this paper. For the rooted metric polytope over the complete graph, we show that for large n its volume is much greater than that of the elliptope. For the metric polytope, for small values of n, we show that its volume is smaller than that of the elliptope; however, for large values, we prove that the converse is true. Volume estimates place the crossover near n = 13. We also give exact formulae for the volumes of several families of sparse cut polytopes. In particular, we give an exact formula for the volume of the elliptope of every cycle and show that its volume ratio with the corresponding cut polytope converges rapidly to one.

cs.DM↗
arXiv2026

Embracing exchange sequences and oriented matroid polyhedron diameter

We reduce the embracing exchange distance of bases of oriented matroids to the metric of oriented matroid polyhedra. This allows us to disprove recent conjectures of Caoduro, Khodamoradi, Paat, and Shepherd and of B\'erczi and N\'ador. On the other hand, we show that any two embracing bases of an oriented matroid of rank $r$ can be transformed into each other in at most $2r^{\log_2(r)+3}$ steps and in at most $r$ steps in a graphic oriented matroid or a Lawrence oriented matroid, thus confirming the conjecture in these cases.

math.CO↗
arXiv2026

The Minimum-Weight Mixed Dominating Set on Threshold Graphs

We study the minimum-weight mixed dominating set problem on threshold graphs. In this problem, vertices and edges have weights, and the goal is to find a mixed set of minimum total weight that dominates every vertex and edge of the graph. We first show that arbitrary weights can be reduced to non-negative weights without changing the asymptotic running time. By adapting a reduction to the minimum-weight edge cover given in Ferrarini, Kober, Lancini, and Yuditsky, we obtain an $\mathcal{O}(n^5)$-time algorithm for the minimum weight mixed dominating set problem on threshold graphs.

cs.DS↗
arXiv2026

On the Gap of Finite Posets

Let $P$ be a finite nonempty poset with $n$ elements, let $f:P\to\{1,\ldots,n\}$ be a uniformly random order-preserving bijection, and put $h_P(x)=\mathbb{E}[f(x)]$. Aires and Kahn (2025) introduced $\operatorname{gap}(P)$ as the largest difference between consecutive values in the ordered list consisting of $0$, $n+1$, and all the expected ranks $h_P(x)$. Write ${w}(P)$ for the largest size of a pairwise incomparable subset. We prove three results. First, we prove a weighted strengthening of an ideal inequality conjectured by Kahn and obtain the explicit gap-width bound $\operatorname{gap}(P)\le 2 {w}(P)-1$. Second, for every $L>0$ we construct a width-two poset such that the expected-rank list of every maximal chain has a gap of at least $L$, with $0$ and $|P|+1$ added as endpoints. Finally, for every $r\in\mathbb{N}$, we construct a poset $P_r$ for which the relative order induced on every nonempty selected set $X$ has base-two entropy below $3|X|$, while $\operatorname{gap}(P_r)\ge(3/2)^r$. Thus the gap can be arbitrarily large while the induced order on every selected set has relatively small entropy. The key ideas behind all three results were found by ChatGPT 5.6 Sol.

math.CO↗
arXiv2026

New Upper bounds on the Mondrian Art Problem

We present a new upper bound on the defect of the Mondrian Art Problem. The Mondrian Art Problem asks for a partition of an $n \times n$ square with rectangles of distinct dimensions such that the difference (defect) between the largest and smallest rectangle areas is minimized. We prove that for any $n \times n$ square, there exists a partition with defect $O(n^{5/6})$, improving upon the previously conjectured $O (n/\log n)$ upper bound. We also implement an algorithm that provides empirical evidence supporting our theoretical bound.

math.CO↗
arXiv2026

Characterizations and Complexity of Minimum Forward and Integer Cycle Bases

The cycle space of a directed graph is generated by a cycle basis, where, in general, cycles are allowed to have both forward and backward arcs. In a forward cycle, all arcs must follow the given direction. Several open questions remain regarding the complexity of the minimum cycle basis problem, in particular the minimum-weight integral cycle basis problem, and the minimum-weight weakly and strictly fundamental forward cycle basis problems. In this paper, we address these open questions. First, we study the existence, structure, and computational complexity of minimum-weight forward cycle bases. We give a complete structural characterization of digraphs that admit weakly fundamental (and hence integral) forward cycle bases. We further provide a characterization when a strongly connected digraph admits a forward fundamental cycle basis, proving that such a basis exists if and only if the set of directed cycles has cardinality equal to the cycle rank; in this case, the basis is unique. Lastly, we show that while minimum-weight forward fundamental cycle bases can be found in polynomial time whenever they exist, the minimum-weight forward weakly fundamental cycle basis problem is APX-hard via an L-reduction from the minimum-weight weakly fundamental cycle basis problem on digraphs with metric weights. Second, we introduce opt-in graphs, i.e., the family of graphs for which minimum cycle bases are integral for any weight function. We show that this family is minor-closed and hence, by the Robertson-Seymour theorem, is characterized by a finite set of forbidden minors, so that the opt-in recognition problem is solvable in polynomial time. Lastly, we present an algorithm to check whether a graph is opt-in, and if not, to identify which of its minors belong to the set of forbidden minors. Applying this algorithm, we show that the complete graph $K_n$ is opt-in if and only if $n \leq 7$.

math.OC↗
arXiv2026

The Class Edge-Reconstruction Number of a Maximal Planar Graph Is One or Two

An edge card of a graph is obtained by deleting one edge, and a class edge-reconstruction number asks for the fewest carefully selected cards that identify the graph when its class is known. We determine the sharp universal bound for maximal planar graphs. Two selected cards always suffice, and the octahedral graph shows that two can be necessary; some maximal planar graphs are already identified by one card. The argument exploits the fact that deleting a flippable edge leaves a single quadrilateral whose two diagonals give the only possible maximal-planar completions. Degree information then rules out the competing completion, with a separate argument for graphs containing a vertex of degree three. This settles a problem posed in a 2010 survey on reconstruction numbers.

math.CO↗
arXiv2026

Extremal Asymmetric Depth of Planar Graphs and Hidden Near-Mirror Symmetries of IPR Fullerenes

Although almost all graphs are asymmetric -- having no nontrivial global automorphisms -- they may still possess local symmetries in the form of isomorphisms between induced subgraphs, i.e., partial automorphisms. We study such local symmetries via asymmetric depth, defined in terms of the maximum rank of a nontrivial partial automorphism. We prove a tight upper bound on asymmetric depth in the class of planar graphs and identify the extremal graphs: duals of IPR fullerenes attain the maximum already on $47$ vertices. Our main structural result concerns the IPR fullerenes that are neither maximally asymmetric nor symmetric. In such a cage no purely local action realises a low asymmetric depth, and we show that the map which does realise it cannot be confined to a small part of the cage either: neither to a single face, nor behind an interface of at most $5-k$ edges, $k \le 3$ being the deficiency. A cage of asymmetric depth $2$ or $3$ is therefore not asymmetric in one place; it carries a broken symmetry invisible to its automorphism group. Such cages are rare -- under $2\%$ of the asymmetric IPR fullerenes at $n = 118$. In all $727$ of them the largest partial automorphism is a near-mirror reflection, which we state as an explicit conjecture. We also extend the asymmetric depth bound to graphs of higher genus.

math.CO↗
arXiv2026

frb100-40 After Two Decades: An Optimality Certificate and a Preregistered Search Study

For more than 20 years, the Model-RB benchmark frb100-40 remained an open challenge; since 2014, its public record had stood at 99 of 100 variables. We give a directly checkable 100-vertex independent set for its 4,000-vertex graph. Together with a verified partition into 100 cliques of size 40, the witness proves that the maximum independent-set size is 100 and the minimum vertex-cover size is 3,900. The stochastic run that found the witness is kept separate from this proof. We evaluated its added pair and triple repair operators in a preregistered campaign comprising 8,668 valid runs. The primary comparison found no detectable acceleration over base ULSA (hazard ratio 0.967, 95% confidence interval 0.915-1.023; p=0.248), and the factorial ablation reached the same conclusion. On a smaller FRB suite, the group-aware CSP pipeline solved 2,500/2,500 runs, compared with 2,391/2,500 for LibMVC-NuMVC. On frb100-40, full ULSA, base ULSA, and NuMVC each produced 0/56 new certificates. With no events, the planned cross-solver hazard ratios remain unidentified. NuMVC ended with cover size 3,902 in 40 runs and 3,903 in 16. Exhaustive enumeration showed that none of the 108 unique recorded conflict-two states had a strictly improving group-aware CSP neighbor within Hamming radius three. The certificate settles the instance. The experiments characterize the search barrier, and the preregistered comparisons show no heuristic advantage.

cs.DM↗
arXiv2026

Almost Linear 3-Spanners of Temporal Cliques

Temporal graphs model dynamic networks by assigning positive integer time labels to the edges, while information propagates along temporal paths, whose edge labels are traversed in nondecreasing order. A temporal $\alpha$-spanner of a temporal graph with $n$ vertices is a temporal subgraph that approximates the minimum-hop temporal distance between every pair of vertices within a factor of $\alpha$. While general temporal graphs may not admit sparse temporal $\alpha$-spanners for any value of $\alpha$, temporal cliques are known to admit temporal $(2k-1)$-spanners of size $\widetilde{\mathcal{O}}(kn^{1+1/k})$ for every positive integer $k$. We present a simple recursive algorithm that computes, for every temporal clique on $n$ vertices, a temporal $3$-spanner of size $n^{1+2/\sqrt{\ln n}}=n^{1+o(1)}$, thereby improving the previous best upper bound of $\widetilde{\mathcal{O}}(n^{3/2})$. We also show that a modified version of our algorithm computes temporal $3$-spanners of size $\mathcal{O}(nL)$ when the lifetime is bounded by $L$, i.e., all time labels are in $\{1,\ldots,L\}$, thus improving the previous bound of $\mathcal{O}(2^Ln\log n)$. Both results are particularly striking in light of the known lower bound of $\Omega(n^2)$ on the size of temporal $2$-spanners, which already holds for temporal cliques of lifetime $L\geq 3$. Both algorithms rely on a new simple recursive decomposition that certifies temporal connectivity for a large collection of source-target pairs using only $\mathcal{O}(n)$ carefully selected edges and recursively processes only the remaining pairs. Besides yielding substantially improved upper bounds, this approach is significantly simpler than previous constructions.

cs.DS↗
arXiv2024

The Most Malicious Ma\^{i}tre D'

We revisit the family of "napkin problems" first discussed by Peter Winkler in his 2004 puzzle book and discussed subsequently in several papers. This family of problems involves diners being seated around a circular table in which napkins are placed between the seats, so it is ambiguous which napkin belongs to which seat. The problems seek to quantify the proportion of diners who end up with no napkin under a variety of assumptions, one of which is that the diners have an adaptive adversary known as "the malicious maitre d'," who seeks to maximize the number of napkinless diners. Winkler's original strategy for the adaptive maitre d' was shown to be suboptimal in 2023 when Acton, Petersen, Shirman, and Toal presented a better (yet also suboptimal) strategy. In this paper we demonstrate an optimal strategy for the malicious maitre d' and compute the expected proportion of napkinless diners as a function of the probability of a diner taking the left napkin. Interestingly, the strategy does not depend on the exact probability; rather, it only depends on which napkin (left or right) the diners tend to prefer.

math.CO↗
arXiv2026

Eleven, twelve, and thirteen lonely runners

Wills conjectured that, for any non-zero integers $u_1,\ldots,u_k$, there is a real number $t$ such that, for all $i=1,\ldots,k$, \[\lVert tu_i\rVert\geq\frac{1}{k+1},\] where $\lVert x\rVert$ is the distance from $x$ to the closest integer. This statement is known as the Lonely Runner Conjecture. A computational method developed by Rosenfeld and the second author verified the conjecture for $k\leq9$. We further refine this method with new sieving techniques and employ a polynomial method argument to show that any $(u_1,\ldots,u_k)\equiv(1,2,\ldots,k)\pmod{p}$ with $\gcd(u_1,\ldots,u_k)=1$ satisfies the conjecture when $k+1$ and $p > k^2+k$ are both odd primes. Ultimately, we provide a computer-assisted proof of the Lonely Runner Conjecture for $k\in\{10,11,12\}$.

math.CO↗
arXiv2026

Logarithmic Chowla Correlations Across All Shift Scales

Let $\lambda(n)=(-1)^{\Omega(n)}$ be the Liouville function. We prove a fixed power-logarithmic bound for its logarithmically weighted two-point correlations across the full shift range. There is an absolute $c>0$ such that every sufficiently large $x$ admits a single set $\mathcal E_x\subseteq[1,x]$ with $|\mathcal E_x\cap[1,H]|\ll_A H(\log x)^{-A}$ $(1\le H\le x)$ for every fixed $A>0$, while $\max_{\substack{1\le h\le x\ h\notin\mathcal E_x}}\sup_{1\le y\le x}\left|\sum_{n\le y}\frac{\lambda(n)\lambda(n+h)}{n}\right|\ll(\log x)^{1-c}$. The same exceptional-set formulation extends, without an upper cutoff, to all positive integer shifts. Earlier full-range theorems average over the shift; here a fixed saving holds pointwise outside one set whose density in every initial segment is smaller than every fixed negative power of $\log x$. The new middle-scale argument combines a general-good-modulus Liouville deletion lemma with a linear bad-modulus score, a progression Fourier estimate, and a Mellin-localized dilation that separates divisor-dependent endpoints. Maximal fixed-moment bounds evacuate the low prefix and control the long-shift range. Assuming GRH for primitive Dirichlet $L$-functions, we also prove, uniformly for $h\in\mathbb N$ and $1\le y\le x$, $\left|\sum_{n\le y}\frac{\lambda(n)\lambda(n+h)}{n}\right|\le\log(2\min{h,y})+O((\log x)^{1-c_{\mathrm G}})$ for an absolute $c_{\mathrm G}>0$, with no exceptional shifts.

math.NT↗
arXiv2026

A Counterexample to Teschner's Bondage-Number Conjecture

For a finite simple graph $G$ with at least one edge, the bondage number $b(G)$ is the least number of edges whose deletion increases the domination number $\gamma(G)$. Teschner conjectured that $b(G)\le \tfrac32\Delta(G)$ for every graph $G$. We disprove this conjecture by giving a connected cubic bipartite graph on eighteen vertices with \[ \gamma(G)=6 \qquad\text{and}\qquad b(G)=5. \] The domination number is established by a complete counting argument across the bipartition. An explicit five-edge deletion raises the domination number from six to seven. For the matching lower bound, we give an exact finite certificate: the graph has 297 minimum dominating sets, and deleting any one of its $\binom{27}{4}=17{,}550$ four-edge subsets leaves at least one of those sets dominating. The enumeration is deterministic, uses only exact integer and set operations, and is reproduced by the complete standard-library verifier included in the appendix.

math.CO↗
arXiv2011

Probabilistic Methods on Erdos Problems

Probability distributions and the rules of inclusion-exclusion apply to derive general results about graph theory and number theory. In order to apply the rules of inclusion-exclusion in the setting some of these problems require, it is necessary to use specific equations and make several assumptions about integration and measure of the probability distributions.

cs.DM↗
arXiv2017

Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration

We continue research into a well-studied family of problems that ask whether the vertices of a graph can be partitioned into sets $A$ and~$B$, where $A$ is an independent set and $B$ induces a graph from some specified graph class ${\cal G}$. We let ${\cal G}$ be the class of $k$-degenerate graphs. This problem is known to be polynomial-time solvable if $k=0$ (bipartite graphs) and NP-complete if $k=1$ (near-bipartite graphs) even for graphs of maximum degree $4$. Yang and Yuan [DM, 2006] showed that the $k=1$ case is polynomial-time solvable for graphs of maximum degree $3$. This also follows from a result of Catlin and Lai [DM, 1995]. We consider graphs of maximum degree $k+2$ on $n$ vertices. We show how to find $A$ and $B$ in $O(n)$ time for $k=1$, and in $O(n^2)$ time for $k\geq 2$. Together, these results provide an algorithmic version of a result of Catlin [JCTB, 1979] and also provide an algorithmic version of a generalization of Brook's Theorem, which was proven in a more general way by Borodin, Kostochka and Toft [DM, 2000] and Matamala [JGT, 2007]. Moreover, the two results enable us to complete the complexity classification of an open problem of Feghali et al. [JGT, 2016]: finding a path in the vertex colouring reconfiguration graph between two given $\ell$-colourings of a graph of maximum degree $k$.

cs.DS↗
arXiv2025

On the Equivalence of the Graph-Structural and Optimization-Based Characterizations of Popular Matchings

Popular matchings provide a model of matching under preferences in which a solution corresponds to a Condorcet winner in voting systems. In a bipartite graph in which the vertices have preferences over their neighbours, a matching is defined to be popular if it does not lose in a majority vote against any matching. In this paper, we study the following three primary problems: only the vertices on one side have preferences; a generalization of this problem allowing ties in the preferences; and the vertices on both sides have preferences. A principal issue in the algorithmic aspects of popular matchings is how to determine the popularity of a matching, because it requires exponential time if the definition is simply applied. In the literature, we have the following two types of characterizations: a graph-structural characterization; and an optimization-based characterization described by maximum-weight matchings. The graph-structural characterizations are specifically designed for each problem and provide a combinatorial structure of the popular matchings. The optimization-based characterizations work in the same manner for all problems, while they do not reveal the structure of the popular matchings. A main contribution of this paper is to provide a direct connection of the above two types of characterizations for all of the three problems. Specifically, we prove that each characterization can be derived from the other, without relying on the fact that they characterize popular matchings. Our proofs offer a comprehensive understanding of the equivalence of the two types of characterizations, and suggest a new interpretation of the graph-structural characterization in terms of the dual optimal solution for the maximum-weight matching problem.

cs.GT↗
Compare source metadata on this page
WorkPublishedSource identifierSource
Towards Solving the Gilbert-Pollak Conjecture via Large Language Models2026-01-292601.22365arxiv
On the volumes of the elliptope, metric polytope, and cut polytope2026-04-172604.16735arxiv
Embracing exchange sequences and oriented matroid polyhedron diameter2026-06-172606.19573arxiv
The Minimum-Weight Mixed Dominating Set on Threshold Graphs2026-08-112608.11057arxiv
On the Gap of Finite Posets2026-08-132608.12678arxiv
New Upper bounds on the Mondrian Art Problem2026-09-022609.01998arxiv
Characterizations and Complexity of Minimum Forward and Integer Cycle Bases2026-09-022609.02317arxiv
The Class Edge-Reconstruction Number of a Maximal Planar Graph Is One or Two2026-09-022609.02389arxiv
Extremal Asymmetric Depth of Planar Graphs and Hidden Near-Mirror Symmetries of IPR Fullerenes2026-09-022609.02585arxiv
frb100-40 After Two Decades: An Optimality Certificate and a Preregistered Search Study2026-09-022609.02804arxiv
Almost Linear 3-Spanners of Temporal Cliques2026-09-022609.02851arxiv
The Most Malicious Ma\^{i}tre D'2024-07-122407.09000arxiv
Eleven, twelve, and thirteen lonely runners2026-04-262604.23906arxiv
Logarithmic Chowla Correlations Across All Shift Scales2026-08-242608.23500arxiv
A Counterexample to Teschner's Bondage-Number Conjecture2026-09-012609.04257arxiv
Probabilistic Methods on Erdos Problems2011-07-171107.3279arxiv
Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration2017-07-311707.09817arxiv
On the Equivalence of the Graph-Structural and Optimization-Based Characterizations of Popular Matchings2025-08-012508.00349arxiv

These are bibliographic comparisons, not experimental rankings. Follow the original document for methods and conditions.