https://arxiv.org/api/beltRqPya67AwJ0TKFyh+oxN3zI 2026-03-18T10:08:48Z 15362 0 15 http://arxiv.org/abs/2603.16836v1 2026-03-17T17:40:38Z

We prove a nearly polynomial inverse theorem for the Gowers $U^d$ norm, over finite fields of non-small characteristic, for polynomials of degree $d+1$. The case of degree $d$ was very recently settled by Milićević and Randelović with a fully polynomial bound. We moreover provide a nearly polynomial inverse theorem for homogeneous polynomials of any degree smaller than $2d$.

2026-03-17T17:40:38Z Tomer Milo Guy Moshkovitz http://arxiv.org/abs/2305.02414v2 2026-03-17T17:29:04Z

We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.

2023-05-03T20:13:53Z 14 pages, 4 figures Journal of Graph Theory (2026): e70020 Tom Kelly Sid Kolichala Caleb McFarland Jatong Su 10.1002/jgt.70020 http://arxiv.org/abs/2510.26056v2 2026-03-17T16:35:30Z

We revisit the Strong Birthday Problem (SBP) introduced by DasGupta'05, which asks for the minimum population n required such that, with a probability of at least 1/2, every individual in the group shares a birthday with at least one other person. Formally, we develop and analyze computational frameworks to determine the probability that in a group of n people with birthdays distributed over m days, each day either has two or more birthdays or is birthday-free. We derive both counting-based and probability-based recurrence relations to solve this problem and establish a novel connection to associated Stirling numbers of the second kind. This relationship is exploited to derive new, more efficient recurrences. Finally, we implement these recurrences using dynamic programming, provide analysis of their asymptotic complexities, and present numerical evaluations that demonstrate the practical efficiency and scalability of our proposed approaches.

2025-10-30T01:14:28Z 7 pages Chijul B. Tripathy http://arxiv.org/abs/2603.16615v1 2026-03-17T14:54:52Z

We prove blow-up structure theorems for graphs excluding a tree or an apex-tree as a minor. First, we show that for every $t$-vertex tree $T$ with $t\geq 3$ and radius $h$, and every graph $G$ excluding $T$ as a minor, there exists a graph $H$ with pathwidth at most $2h-1$ such that $G$ is contained in $H\boxtimes K_{t-2}$ as a subgraph. This improves on a recent theorem of Dujmović, Hickingbotham, Joret, Micek, Morin, and Wood (2024), who proved the same result but with a larger bound on the order of the complete graph in the product. Second, we show that for every $t$-vertex tree $T$ with $t\geq 2$, radius $h$ and maximum degree $d$, and every graph $G$ excluding the apex-tree $T^+$ as a minor, where $T^+$ is the tree obtained by adding a universal vertex to $T$, there exists a graph $H$ with treewidth at most $4h-1$ such that $G$ is contained in $H\boxtimes K_{2(t-1)d}$. The bound on the treewidth of $H$ is best possible up to a factor $2$, and improves on a $2^{h+2}-4$ bound that follows from a recent result of Dujmović, Hickingbotham, Hodor, Joret, La, Micek, Morin, Rambaud, and Wood (2024).

2026-03-17T14:54:52Z Quentin Claus Gwenaël Joret Clément Rambaud http://arxiv.org/abs/2602.23517v2 2026-03-17T14:36:53Z

We study graphs that are simultaneously regular with respect to the ordinary vertex degree and regular with respect to the triangle degree, that is, the number of triangles containing a given vertex. We call such graphs regular $K_3$-regular. We investigate the (non-)existence of regular $K_3$-regular graphs with prescribed parameters $(r_2,r_3)$, where $r_2$ is the vertex degree and $r_3$ is the triangle degree. General bounds relating vertex and edge triangle degrees are derived, and non-existence results are established for broad ranges of these parameters. Special attention is paid to Turán graphs, for which we establish uniqueness results for certain parameters. The paper concludes with a summary of admissible parameters and several open problems.

2026-02-26T21:45:45Z Second version. We added references to related works on (r,c)-constant graphs and vertex-girth-regular graphs, clarified the relation between our results and existing literature, and extended the section on Turán graphs with new results. Any comments are welcome Artem Hak Sergiy Kozerenko Denys Lohvynov Yurii Yarosh http://arxiv.org/abs/2603.16004v1 2026-03-16T23:24:02Z

We study the impartial game PAP (``permutations avoiding patterns''), in which players take turns choosing patterns to avoid. We define a set of length $k$ patterns, $B_k$, and show that it is the unique minimal monotone-forcing subset of $S_k$: every sufficiently long permutation that avoids $B_k$ is monotone, and every monotone-forcing subset of $S_k$ must contain $B_k$. We prove a quadratic upper bound for the monotone-forcing threshold, and determine the exact thresholds for $k=3,4,5,6$. We use properties of the sets $B_k$ to prove that a reverse-reply strategy wins PAP on $S_n$ when $k=4$ for all $n \geq 10$; for $k=3$, the same strategy can be analysed directly. We conjecture that it is a winning strategy for all $k$ and $n$ sufficiently large.

2026-03-16T23:24:02Z 28 pages, 8 figures Henning Ulfarsson http://arxiv.org/abs/2601.18715v3 2026-03-16T19:23:36Z

Subtraction games are a classical topic in Combinatorial Game Theory. A result of Golomb~(1966) shows that every subtraction game with a finite move set has an eventually periodic nim-sequence, but the known proof yields only an exponential upper bound on the period length. Flammenkamp~(1997) conjectures a striking classification for three-move subtraction games: non-additive rulesets exhibit linear period lengths of the form ``the sum of two moves'', where the choice of which two moves displays fractal-like behavior, while additive sets $S=\{a,b,a+b\}$ have purely periodic outcomes with linear or quadratic period lengths. Despite early attention in Winning Ways~(1982), the general additive case remains open. We introduce and analyze a dual winning convention, which we call {\sc sink subtraction}. Unlike the standard {\em wall} convention, where moves to negative positions are forbidden, the sink convention declares a player the winner upon moving to a non-positive position. We show that {\sc additive sink subtraction} admits a complete solution: the nim-sequence is purely periodic with an explicit linear or quadratic period formula, and we conjecture a duality between additive sink subtraction and classical wall subtraction. Keywords: Additive Subtraction Game, Nimber, Periodicity, Sink Convention.

2026-01-26T17:38:56Z 18 pages, 4 figures, 12 tables Anjali Bhagat Urban Larsson Hikaru Manabe Takahiro Yamashita http://arxiv.org/abs/2402.18984v5 2026-03-16T14:48:35Z

Graph burning is a discrete-time process that models the propagation of information in a network. Initially, we have an undirected graph of unburned vertices. At each time step, an unburned vertex is chosen to burn; additionally, unburned vertices with at least one burned neighbor from the previous step also become burned. Once a vertex is burned, it remains burned for all future steps. The burning number of a graph is the minimum number of steps to burn all the vertices of the graph. The BURNING NUMBER PROBLEM asks whether the burning number of an input graph $G$ is at most $k$ or not. In this paper, we study the BURNING NUMBER PROBLEM both from an algorithmic and a structural viewpoint. The BURNING NUMBER PROBLEM is known to be NP-complete for interval graphs. Here, we prove that this problem is NP-complete even when restricted to connected proper interval graphs. The well-known burning number conjecture asserts that the burning number of a connected graph of order $n$ is at most $\lceil \sqrt{n}~\rceil$. In line with this conjecture, the upper and lower bounds of the burning number are well-studied for various graph classes. Here, we provide an improved upper bound for the burning number of connected $P_k$-free graphs and show that the bound is tight up to an additive constant of $1$. Finally, we study two variants of the problem: edge burning and total burning. We establish their relationship with the classical burning and evaluate the algorithmic complexity of these variants.

2024-02-29T09:38:41Z 18 pages, 5 figures Dhanyamol Antony L. Sunil Chandran Anita Das Shirish Gosavi Dalu Jacob Shashanka Kulamarva http://arxiv.org/abs/2409.01723v2 2026-03-16T13:58:50Z

Gons and holes in point sets have been extensively studied in the literature. For simple drawings of the complete graph a generalization of the Erdős--Szekeres theorem is known and empty triangles have been investigated. We introduce a notion of $k$-holes for simple drawings and survey generalizations thereof, like empty $k$-cycles. We present a family of simple drawings without $4$-holes and prove a generalization of Gerken's empty hexagon theorem for convex drawings. A crucial intermediate step is the structural investigation of pseudolinear subdrawings in convex drawings. With respect to empty $k$-cycles, we show the existence of empty $4$-cycles in every simple drawing of $K_n$ and give a construction that admits only $Θ(n^2)$ of them.

2024-09-03T09:03:59Z Final version as published in the Journal of Graph Algorithms and Applications Helena Bergold Joachim Orthaber Manfred Scheucher Felix Schröder 10.7155/jgaa.v29i3.2999 http://arxiv.org/abs/2603.15207v1 2026-03-16T12:49:37Z

A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$. Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.

2026-03-16T12:49:37Z 38 pages plus references. Comments are welcome! Richard Bi Peter Bradshaw Abhishek Dhawan Jingwei Xu http://arxiv.org/abs/2509.01473v2 2026-03-16T11:14:44Z

Locating-dominating codes have been studied widely since their introduction in the 1980s by Slater and Rall. In this paper, we concentrate on vertices that must belong to all minimum locating-dominating codes in a graph. We call them \emph{min-forced vertices}. We show that the number of min-forced vertices in a connected nontrivial graph of order $n$ is bounded above by $\frac{2}{3}\left(n -γ^{LD}(G)\right)$, where $γ^{LD}(G)$ denotes the cardinality of a minimum locating-dominating code. This implies that the maximum ratio between the number of min-forced vertices and the order of a connected nontrivial graph is at most $\frac{2}{5}$. Moreover, both of these bounds can be attained. In particular, the ratio $\frac{2}{5}$ is obtained by paths of order $5m$ having a unique minimum locating-dominating code of size $2m$. Furthermore, as a natural extension, we determine the number of different minimum locating-dominating codes in paths of all orders. In addition, we show that deciding whether a vertex is min-forced is co-NP-hard.

2025-09-01T13:41:22Z 18 pages, 6 figures Ville Junnila Tero Laihonen Havu Miikonen http://arxiv.org/abs/2603.14922v1 2026-03-16T07:27:39Z

In this article we consider networks, which for a given time period can have one link broken. Which new link should we build so the closeness of the resulting network satisfies some optimal criteria? We consider different criteria for optimization and different graphs: cycle, paths, lollipop graphs, and two complete graphs, connected by a link.

2026-03-16T07:27:39Z 20 pages, 5 figures, 1 table Chavdar Dangalchev http://arxiv.org/abs/2603.14615v1 2026-03-15T21:21:37Z

Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number of classes of closure systems. In particular, several classes of convex geometries are known to have tractable optimization, while the problem was recently claimed to remain hard in general convex geometries. Continuing this line of research, we give a characterization of the optimum bases of a convex geometry in terms of what we call quasi-closed hypergraphs. We then use this characterization to show that when each quasi-closed hypergraph has disjoint edges, any implicational base of the convex geometry can be optimized in polynomial time with existing minimization and reduction algorithms. Finally, we prove that this property applies to double-shelling, acyclic, affine and acceptant convex geometries, thus unifying the existing results regarding the tractability of optimization for the first three classes.

2026-03-15T21:21:37Z 21 pages, 5 figures Anthony Meunier Lhouari Nourine Simon Vilmin http://arxiv.org/abs/2403.12898v2 2026-03-15T16:20:21Z

A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_n$. Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.

2024-03-19T16:52:39Z Final version as published in the journal Discrete & Computational Geometry Helena Bergold Stefan Felsner Meghana M. Reddy Joachim Orthaber Manfred Scheucher 10.1007/s00454-025-00752-3 http://arxiv.org/abs/2503.23435v2 2026-03-14T19:19:09Z

Gottschalk's surjunctivity conjecture for a group $G$ states that it is impossible for cellular automata (CA) over the universe $G$ with finite alphabet to produce strict embeddings of the full shift into itself. A group universe $G$ satisfying Gottschalk's surjunctivity conjecture is called a surjunctive group. The surjunctivity theorem of Gromov and Weiss shows that every sofic group is surjunctive. In this paper, we study the surjunctivity of local perturbations of CA and more generally of non-uniform cellular automata (NUCA) with finite memory and uniformly bounded singularity over surjunctive group universes. In particular, we show that such a NUCA must be invertible whenever it is reversible. We also obtain similar results which extend to the class of NUCA a certain dual-surjunctivity theorem of Capobianco, Kari, and Taati for CA.

2025-03-30T13:26:52Z Xuan Kien Phung