The maximum number of cycles of a given length in a nonhamiltonian graph

2026-06-15T14:41:14Z

In 2026, Li and Zhan characterized the nonhamiltonian graphs of order $n$ with the maximum number of paths of length $k$, where $n$ and $k$ are integers satisfying $1\leq k\leq n-1$. This work solves and generalizes a problem proposed by Erdős in 1980. In this paper, we further determine the nonhamiltonian graphs of order $n$ attaining the maximum number of cycles of length $k$ for given integers $n$ and $k$ with $3\leq k\leq n-1$.

Equilibrium Combinatorial Self-Assembly via Generating Functions

2026-06-15T14:37:51Z

We develop a generating-function calculus for equilibrium combinatorial self-assembly. Starting from a bond-level specification of allowable interactions, we define a symmetry-weighted species generating function whose evaluation yields equilibrium concentrations, and an ensemble generating function (an exponential transform) that packages equilibrium probabilities of mixtures. We ground these objects in both deterministic (coagulation-fragmentation) and stochastic (master equation) dynamics, showing how detailed balance leads to the equilibrium expressions and how the exponential generating function arises as a partition function. We develop a formal power series calculus -- derivatives, integrals, exponentials, composition -- where each operation acquires a precise combinatorial interpretation. The paper is organized around two regimes: cycle-free assembly, where binding equations for the species generating function are nonlinear and the ensemble equation couples to the species generating function; and assembly with cycles, where a cycle-opening term enters the species equation and the exponential transform linearizes the ensemble equation into a closed linear PDE with operator-exponential solutions. Each regime is developed with a linear polymer worked example in which we compute equilibrium concentrations, extract canonical partition functions, and derive canonical factorial moments. A cross-linked polymer example -- combining heterotypic chain bonds with homotypic cross-links -- illustrates both regimes together, yielding a factorized canonical partition function and an explicit gelation surface.

From a Voucher Puzzle to Extremal Sums of Adjacent Products

2026-06-15T14:20:55Z

Motivated by a self-referential puzzle, we study sequences of voucher price tags in which each choice multiplies the cost of the following one. We connect the puzzle setting to classical permutation statistics, introducing the \textit{voucher cost} alongside the related \textit{pairwise} and \textit{loop} costs. This perspective allows us to translate questions about budgeting into extremal problems on permutations. We review known results for permutations of ${1,2,\dots,n}$ and extend them to arbitrary sets of distinct non-negative price tags.

Linked partition ideals and gap-frequency partitions

2026-06-15T14:01:40Z

Recently, linked partition ideals have attracted renewed attention. In this paper, we embed the gap-frequency partitions in which each part appears at most twice or three times into the framework of span one linked partition ideals, and derive refined generating functions for both cases. Furthermore, for gap-frequency partitions in which every part appears at most k times, we provide a purely combinatorial proof of the corresponding refined generating function.

A counterexample to the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$

2026-06-15T13:59:19Z

We disprove the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$. The counterexample is a fixed nonspecial quadratic polynomial, together with arbitrarily large finite sets of real algebraic integers on which its image has a fixed power saving from quadratic size. The main result of this paper is obtained by generative AI, particularly ChatGPT 5.5 Pro and the Rethlas system. The proof relies on a recent construction by OpenAI of an infinite tower of number fields.

Bootstrap Percolation and Partial Difference Equations

2026-06-15T13:53:07Z

We study a bootstrap percolation process on $\mathbb{Z}^d$ where each newly occupied point completes a copy of one of the patterns in some fixed collection $\mathcal{A}$. We aim, given $\mathcal{A}$, to find the smallest size of a percolating seed. We show that, for two patterns in two dimensions, in essence the answer is given by the mixed volume of the patterns' convex hulls. Our motivation for studying this setup comes from the theory of partial difference equations. Conversely, our considerations yield one consistency criterion for systems of two partial difference equations in two dimensions.

Classification of weak Bruhat interval modules of $0$-Hecke algebras

2026-06-15T13:32:48Z

Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ offer a unified framework for studying modules associated to quasisymmetric functions. This class of modules has recently been generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answering an open question of Jung-Kim-Lee-Oh and confirming a conjecture of Kim-Lee-Oh. Furthermore, for finite Coxeter groups, we show that the set of minimum (respectively, maximum) elements of all left weak Bruhat intervals within each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.

Bounds for the ratio between the domination number and the independent domination number

2026-06-15T13:32:00Z

In this article we present new and improved results for the ratio between the independent domination number and the domination number in graphs with bounded degree. We present a general formula, that, for a fixed maximum degree, allows to compute an upper bound for this ratio as a function of an upper bound $β|V|$ for the independent domination number. We also apply this formula to several known upper bounds for the independent domination number. Furthermore we present constructions giving lower bounds for the best possible upper bound in various classes of graphs with bounded degree.

Formalizing chip-firing and Riemann--Roch for graphs in Lean 4

2026-06-15T13:13:14Z

The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a complete formal proof of this theorem implemented in the Lean 4 theorem prover. Our formalization includes the existence and uniqueness of q-reduced divisors, a modified form of Dhar's burning algorithm, the bijection between acyclic orientations with unique source and maximal superstable configurations, and Clifford's theorem. We also include several challenges for future formalization.

A geometric approach to generalized covering radii of linear codes

2026-06-15T13:04:33Z

Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.

On the chromatic number and equilateral dimension of $\mathbb{R}^n$ with the tropical norm

2026-06-15T12:33:10Z

We study the tropical chromatic number of $\mathbb{R}^n$, $χ_{\mathrm{tr}}(\mathbb{R}^n)$, the tropical analogue of the well-known Hadwiger-Nelson problem in $\mathbb{R}^2$. An upper bound to $χ_{\mathrm{tr}}(\mathbb{R}^n)$ is $2^n$. It is conjectured that $χ_{\mathrm{tr}}(\mathbb{R}^n) = 2^n$, which is known to be the case for the measurable chromatic number. Asymptotically we get that $\displaystyle χ_{\mathrm{tr}}(\mathbb{R}^n) = Θ\!\left(\frac{2^n}{\sqrt{n}}\right)$. By constructing a graph with 62 vertices and 577 edges we demonstrate that $χ_{\mathrm{tr}}(\mathbb{R}^3)=8$. A related problem is the tropical equilateral dimension of $\mathbb{R}^n$, $\mathrm{e}_{\mathrm{tr}}(\mathbb{R}^n)$, the maximum size of a set $S$ of points of the same tropical distance from one another. We show that $\displaystyle \mathrm{e}_{\mathrm{tr}}(\mathbb{Z}^n) \geq \binom{n+1}{\lfloor (n+1)/2 \rfloor}$ and conjecture that $\mathrm{e}_{\mathrm{tr}}(\mathbb{R}^n)$ is exactly this Sperner's antichain bound. The conjecture is verified in dimension $n \leq 3$ and also when $S$ is an equilateral set of tropical distance $2R$ contained in a tropical sphere of radius $R$. We are not aware of the appearance of Sperner's bound in the context of chromatic number or equilateral set.

Non-trivial cross-$t$-intersecting families for vector spaces with the maximum sum of sizes

2026-06-15T12:26:02Z

Let $V$ be an $n$-dimensional vector space over a finite field. Suppose that $\mathcal{F}$ and $\mathcal{G}$ are non-empty families of $k$-subspaces and $\ell$-subspaces of $V$, respectively. They are said to be cross-$t$-intersecting if $\dim(F\cap G)\geq t$ for any $F\in\mathcal{F}$ and $G\in \mathcal{G}$, and are further called non-trivial if $\dim(\cap_{F\in\mathcal{F}}F)

Bounds on Linear Turán Number for Trees

2026-06-15T12:01:13Z

A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph $H$ is said to be \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of hyperedges in an $\mathcal{F}$-free linear $r$-uniform hypergraph on $n$ vertices. Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs. In this paper, we extend the study of linear Turán numbers for acyclic systems to higher uniformity. We first give a construction for linear $r$-uniform trees with $k$ edges that yields the lower bound $ ex_r^{\mathrm{lin}}(n,T_k^r)\ge {n(k-1)}/{r}, $ under mild divisibility and existence assumptions. Next, we study hypertrees with four edges. We prove the exact bound $ ex_r^{\mathrm{lin}}(n,B_4^r)\le {(r+1)n}/{r} $ and characterize the extremal hypergraph class, where $B_4^r$ is formed from $S_3^r$ by appending a hyperedge incident to a degree-one vertex. We also prove the bound $ ex_r^{\mathrm{lin}}(n,E_4^r)\le {(2r-1)n}/{r} $ for the crown $E_4^r$. Finally, we give a construction showing $ ex_r^{\mathrm{lin}}(n,P_4^r)\ge {(r+1)n}/{r} $ under suitable assumptions and conclude with a conjecture on sharp upper bound for $P_4^r$ and proof this conjectured bound under certain degree constraints.

Obstructions and kernel transport for Hecke lifts of partition q-brackets

2026-06-15T11:58:13Z

We study lifts of the level-one Hecke action on quasimodular forms through the partition q-bracket. We prove two obstruction theorems: no exact lift on the genuine shifted symmetric algebra $\mathbb{Q}[Q_2,Q_3,\ldots]$ is multiplicative, and no exact lift satisfies a strict $Q_2$-tower condition. We classify fixed-weight exact lifts by kernel actions and kernel-valued Hecke cocycles, construct transported scalar lifts under Hecke stability of the q-bracket image, and derive kernel-transport and spectral-divisibility consequences from the injectivity of Zagier's lowering operator $B=\frac12(D-\partial^2)$ on the genuine homogeneous subspace. Exact rational rank computations show q-bracket surjectivity in weights at most $16$, yielding explicit Hecke lifts and kernel data in those weights.

Combinatorics of Even-Valent Graphs on Riemann Surfaces

2026-06-15T11:20:49Z

In this paper, we derive explicit formulae for the number of regular even-valent graphs, with fixed minimal embedding genus, in which both the valence parameter and the number of vertices are allowed to vary. Our results extend the explicit formulae of Ercolani--McLaughlin--Pierce (2008) for genus $0$ and of Ercolani--Lega--Tippings (2023) for genus $1$. More precisely, we obtain explicit counts $\mathscr{N}_g(2ν,j)$ -- with $ν$ and $j$ as variables -- of graphs with $j$ vertices of uniform valence $2ν$ and minimal embedding genus $g$, for $2\leq g\leq 4$. We also obtain the corresponding formulae for the two-legged counts $\mathcal{N}_g(2ν,j)$. The method applies to $g\geq 5$, with increasing computational effort as $g$ increases. Finally, we derive leading-order large-valence asymptotics for these counts when $g\leq 4$, and formulate a structural conjecture for higher genus.