Showing 20 papers (Total: 83133 papers, 48023 authors in database)
On the PLS-Completeness of $k$-Opt Local Search for the Traveling Salesman Problem
Published
• View Publication
• BIB
The $k$-Opt algorithm is a local search algorithm for the traveling salesman problem. Starting with an initial tour, it iteratively replaces at most $k$ edges in the tour with the same number of edges to obtain a better tour. Krentel (FOCS 1989) showed that the traveling salesman problem with the $k$-Opt neighborhood is complete for the class PLS (polynomial time local search). However, his proof requires $k \gg 1000$ and has a substantial gap. We provide the first rigorous proof for the PLS-completeness and at the same time drastically lower the value of $k$ to $k \geq 15$, addressing an open question by Monien, Dumrauf, and Tscheuschner (ICALP 2010). Our result holds for both the general and the metric traveling salesman problem.
Super-minimally $3$-connected matroids
A super-minimally $k$-connected matroid is a $k$-connected matroid having no proper $k$-connected restriction of size at least $2k-2$. This extends the corresponding concept for graphs. For $k=2$ and $k=3$, we determine the maximum size of a super-minimally $k$-connected rank-$r$ matroid and characterize, in each case, those matroids attaining the extremal bound. These results parallel Murty's results for minimally $2$-connected matroids and Oxley's results for minimally $3$-connected matroids.
The zeta function of regular trees, their special values and functional equations
We determine the special values at positive integers of the spectral zeta function associated with the combinatorial Laplacian on the regular tree. These values admit explicit formulas in terms of certain polynomials, which we show to be palindromic and to have non-negative integer coefficients with a combinatorial interpretation. Along the way, we uncover unexpected symmetries between the values of the zeta function at negative and positive integers, expressed at the level of their generating functions. Using these symmetries, we ultimately establish a functional equation of the type \( s \longleftrightarrow 1-s \) for a natural completion of the zeta function.
Bohr sets in sumsets III: expanding difference sets and almost Bohr sets
Let $G$ be a discrete abelian group. Følner showed that if $A \subseteq G$ has positive upper Banach density, then $A - A$ contains an almost Bohr set -- a set of the form $B \setminus E$ where $B$ is a Bohr set and $E$ has zero Banach density.
We study the sets $S \subseteq G$ for which $A - A + S$ contains a Bohr set for every $A \subseteq G$ of positive upper Banach density. For $G = \mathbb{Z}$, we show that the sets $\{n^2: n \in \mathbb{N}\}$, $\{p - 1: p \text{ prime}\}$, and $\{ \lfloor n^c \rfloor: n \in \mathbb{N} \}$ with $c > 0$, have this property.
We also study those sets $S$ such that $A + S$ contains a Bohr set for every almost Bohr set $A$. As applications, we prove:
(i) If $φ_1, φ_2: G \to G$ are (not necessarily commuting) homomorphisms with finite indices $[G: φ_i(G)]$, and $C \subseteq G$ is a central set, then $φ_1(C) - φ_1(C) + φ_2(C)$ contains a Bohr set. This answers one of our questions in [35] and generalizes results in [44, 48];
(ii) Every set of pointwise recurrence in $\mathbb{Z}$ is a set of nice recurrence and a van der Corput set, extending known properties of sets of pointwise recurrence studied in [26, 27, 40].
Induced Minors and Coarse Tree Decompositions
Let $G$ be a graph, $S \subseteq V(G)$ be a vertex set in $G$ and $r$ be a positive integer. The distance $r$-independence number of $S$ is the size of the largest subset $I \subseteq S$ such that no pair $u$, $v$ of vertices in $I$ have a path on at most $r$ edges between them in $G$. It has been conjectured [Chudnovsky et al., arXiv, 2025] that for every positive integer $t$ there exist positive integers $c$, $d$ such that every graph $G$ that excludes both the complete bipartite graph $K_{t,t}$ and the grid $\boxplus_t$ as an induced minor has a tree decomposition in which every bag has (distance $1$) independence number at most $c(\log n)^d$. We prove a weaker version of this conjecture where every bag of the tree decomposition has distance $16(\log n + 1)$-independence number at most $c(\log n)^d$. On the way we also prove a version of the conjecture where every bag of the decomposition has distance $8$-independence number at most $2^{c (\log n)^{1-(1/d)}}$.
Reinforced Generation of Combinatorial Structures: Ramsey Numbers
We present improved lower bounds for five classical Ramsey numbers: $\mathbf{R}(3, 13)$ is increased from $60$ to $61$, $\mathbf{R}(3, 18)$ from $99$ to $100$, $\mathbf{R}(4, 13)$ from $138$ to $139$, $\mathbf{R}(4, 14)$ from $147$ to $148$, and $\mathbf{R}(4, 15)$ from $158$ to $159$. These results were achieved using AlphaEvolve, an LLM-based code mutation agent. Beyond these new results, we successfully recovered lower bounds for all Ramsey numbers known to be exact, and matched the best known lower bounds across many other cases. These include bounds for which previous work does not detail the algorithms used. Virtually all known Ramsey lower bounds are derived computationally, with bespoke search algorithms each delivering a handful of results. AlphaEvolve is a single meta-algorithm yielding search algorithms for all of our results.
Hook Length Biases in $t$-Core Partitions
Recently, the theory of hook length biases has emerged as a prominent research topic. Led by Ballantine, Burson, Craig, Folsom, and Wen [\textit{Res. Math. Sci.}, 2023], hook length biases are being explored for ordinary partitions, odd versus distinct partitions, self-conjugate versus distinct odd partitions. Lately, Singh and Barman [\textit{J. Number Theory}, 2024] opened the door to hook length biases in $\ell$-regular partitions. In this work, we extend the theory of hook length biases to $t$-core partitions. For example, let $a_{t,k}(n)$ denote the number of hooks of length $k$ in all $t$-core partitions of $n$, then we find that $a_{3,1}(n)\ge a_{3,2}(n) \ge a_{3,4}(n)$ and $a_{4,1}(n)\ge a_{4,3}(n)$ for all $n$. The methods employed in this work are mainly combinatorial.
Penrose P2 Tilings: A Study of Fully Leafed Induced Subtrees
Published
• View Publication
• BIB
We present new results about fully leafed induced subtrees in Penrose P2 tilings. We first determine the graph structure of these subtrees and show that they are caterpillars, up to an appendix of at most six tiles. We then study bi-infinite fully leafed induced caterpillars in P2 tilings and their geometric properties. In particular, we refute the conjecture proposed by C. Porrier, A. Goupil and A. Blondin Massé that there is a unique bi-infinite fully leafed caterpillar in Penrose P2 tilings.
Relative Difference sets from Almost Perfect Nonlinear Functions
In this paper we explore a connection between certain Almost Perfect Nonlinear Functions (APN functions) and relative difference sets. In particular, we show that the image set of certain 2-to-1 APN functions is a relative difference set. Through a result of Pott this further provides a connection between APN functions and bent functions.
Large chirotopes with computable numbers of triangulations
Chirotopes are a common combinatorial abstraction of (planar) point sets. In this paper we investigate decomposition methods for chirotopes, and their application to the problem of counting the number of triangulations supported by a given planar point set. In particular, we generalize the convex and concave sums operations defined by Rutschmann and Wettstein for a particular family of chirotopes (which they call chains), and obtain a precise asymptotic estimate for the number of triangulations of the double circle, using a functional equation and the kernel method.
On the Real Reliability Roots of Graphs
Published
• View Publication
• BIB
Consider a connected graph $G$, and assume that every edge fails independently with probability $q$. The {\em (all-terminal) reliability polynomial} is the probability in $q$ that the spanning connected subgraph of operational edges is connected. In this paper we focus on the real roots of reliability polynomials ({\em reliability roots}). We prove that almost every graph has a nonreal reliability root, and that the reliability polynomials of graphs have roots dense on the interval $[β,0]$ where $β\approx-0.5707202942$.
An RSK correspondence for cylindric tableaux
This paper establishes an analogue of the Robinson--Schensted correspondence for cylindric tableaux. In particular, for any pair of positive integers $(d,L)$, we construct a bijection between permutations that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ and pairs of $(d,L)$-cylindric standard Young tableaux with a common shape. This arises as a special case of a Knuth-type generalization involving cylindric semistandard tableaux and a further generalization involving oscillating tableaux. Using these results, we construct several other bijections and derive enumerative consequences involving cylindric tableaux and pattern-avoiding permutations. For example, we give asymptotics for the number of permutations in $S_n$ that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ as $n\to\infty$.
$\partial$-invariant path generators for digraphs
We study the structure of the space $Ω_3(G)$ of $\partial$-invariant 3-paths in a directed graph $G$. We prove that $Ω_3(G)$ admits a basis consisting of trapezohedral paths $τ_m$ ($m \ge 2$) and their merging images. Moreover, we provide an explicit construction of such a basis and, as a consequence, obtain an algorithm with time complexity $O(|V(G)|^5)$ for computing the dimension and a basis of $Ω_3(G)$ for any finite digraph.
On the Green-Tao theorem for sparse sets
We establish the following quantitative form of the Green--Tao theorem: if a set $\mathcal{A}$ of relative density $δ$ within the primes up to $N$ contains no nontrivial arithmetic progressions of length $k\geq 4$, then $δ\ll \exp(-(\log \log \log N)^{c_k})$ for some $c_k>0$. This improves on previous work of Rimanić and Wolf. The main new ingredients in the proof are a version of the Leng--Sah--Sawhney quasipolynomial inverse theorem for unbounded functions and a dense model theorem with quasipolynomial dependencies, which may be of independent interest.
The ABCT Variety $V(3,n)$ is a Positive Geometry
The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam.
In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.
Some polynomial classes for the acyclic orientation with parity constraint problem
We study the problem of finding an acyclic orientation of an undirected graph with constrained in-degree parities specified by a subset T of vertices. An orientation is called T -odd if a vertex v has odd in-degree if and only if v P T . While the unconstrained parity orientation problem is polynomial (Chevalier et al. (1983)), imposing acyclicity makes it more challenging, and its complexity remains an open question. Szegedy and Szegedy ( 2006) proposed a randomized polynomial-time algorithm for this problem, but it is not known whether it belongs to co-NP. Furthermore, Gravier et al. (2025) showed the problem becomes NP-complete on partially directed graphs, even when restricted to planar cubic graphs. We identify three necessary conditions for the existence of acyclic T -odd orientation: a global parity condition P, and two conditions S and S ensuring the existence of potential sources and sinks. Following the work of Frank and Kiraly (2002), we define graph classes containing the graphs for which a given subset of the necessary conditions P, S and S is also sufficient for the existence of an acyclic T -odd orientation. We establish the inclusion relationships between these classes. We complete the study of these classes by a characterization of the solvable instances for Cartesian products of paths and cycles. The proofs of these results are all constructive, so that acyclic T -odd orientations can be built in polynomial time whenever they exist. We use these families, along with cliques, to demonstrate the strictness of the class inclusions in our hierarchy.
An Integer Linear Programming Model for the Evolomino Puzzle
Published
• View Publication
• BIB
Evolomino is a pencil-and-paper logic puzzle published by the Japanese company Nikoli, renowned for culture-independent puzzles such as Sudoku, Kakuro, and Slitherlink. Its name reflects the core mechanic: the polyomino-like blocks drawn by the player must gradually "evolve" according to the directions indicated by arrows pre-printed on a rectangular grid.
In this paper, we formalize the rules of Evolomino as an integer linear programming (ILP) model, encoding block evolution, connectivity, and consistency requirements through linear constraints. Furthermore, we introduce an algorithm for generating random Evolomino instances, utilizing this ILP framework to ensure solution uniqueness. Computational experiments on a custom benchmark dataset demonstrate that a state-of-the-art CP-SAT solver successfully handles puzzle instances of up to $11 \times 11$ within one second and up to $18 \times 18$ within one minute.
Topological indices on self-similar graphs generated by groups
In this paper, we determine precise formulas for the diameters, the number of perfect matchings, and the Tutte polynomials for an infinite family of finite graphs, namely the Schreier graphs of tree automaton groups, also called tree graph automata. This enables us to easily find the number of spanning trees, spanning forests, and an explicit form for the chromatic polynomials. In the second part of the paper, we provide the precise values for the Wiener and Szeged index of any tree graph automaton.
Flats and hyperplane arrangements for matroids with coefficients
Based on the notion of vectors and linear subspaces for a matroid, we develop a theory of flats and hyperplane arrangements for T-matroids, where T is a tract. This leads to several cryptomorphic descriptions of T-matroids: in terms of its lattice of T-flats, as a hyperplane arrangement over T, as point-line arrangements in projective space over T and as a quiver representation over T. We examplify these notions in the case of tropical linear spaces, a.k.a. valuated matroids.
Induced subdivisions of $K_{d+1}$ in graphs of high girth
In this paper, we show that for all $k\geq 10^8$, every graph with minimum degree $k$ and girth at least $10^8$ contains an induced subdivision of a $K_{k+1}$. This answers a problem asked by Kühn and Osthus (originally attributed to Shi).