math.CO ↗ arXiv
7121 papers in this category
Proofs of some OEIS conjectures on Wythoff sums, Fibonacci and Lucas words
We prove several conjectures from the On-Line Encyclopedia of Integer Sequences about the lower and upper Wythoff sequences and the Fibonacci word. Among them are two of Kimberling's three conjectures on the number of ways to write $n=\lfloor hφ\rfloor+\lfloor kφ^2\rfloor$ with $h,k\ge1$ (A259598): exactly one way if and only if $n+1=2F$ for a Fibonacci number $F\ge2$, and exactly two ways if and only if $n+1\ge7$ is a Lucas number. The third conjecture, that no way exists if and only if $n+1$ is a Fibonacci number, was proved earlier by Kawsumarng et al. We also observe that Kimberling's conjecture on the gaps of the sums of two distinct terms of A003622 and of their complement (A333308, A333309) follows, after a shift by $2$, from earlier Walnut results of Shallit and of Bosma et al. on A260317, and we re-verify it. Next, we prove Kimberling's five 2025 conjectures on the gaps between positions where the Fibonacci word and the "Lucas word" take prescribed values (A383423-A383427). Finally, we prove a conjecture of Mathar on A285383, and we point out that a conjecture of Schmidt on A003250 follows from theorems of Carlitz, Scoville and Vaughan (1973); we also confirm it with Walnut. Most proofs are decision procedures run in the free prover Walnut, and we supply the complete command file.
Finite-valued invariant metrics and a classification of natural groups
Every group $G$, of arbitrary cardinality, admits a right-invariant metric with at most five values whose isometry group is exactly the group $Ξ(G)$ of permutations preserving every inverse-pair difference. Five is sharp. Writing $N(G)$ for the least number of values, including zero, we obtain $N(G)=1$ for the trivial group, $N(G)=2$ for $C_2$ and $C_3$, $N(G)=3$ for every other group outside an explicitly listed set $\mathcal{E}$ of 24 finite groups, $N(G)=4$ on $\mathcal{E}\setminus\{C_2^3, C_3^2\}$, and $N(C_2^3)=N(C_3^2)=5$. The exact result combines Cayley-graph realization theorems with verified finite certificates and hand proofs of the lower bounds. Separately, a uniform constructive 32-value bound uses subgroup-entry ranks, sign-variation conflict labels, and short-word rigidity, but no Cayley-index input or computation. In Knill's right-translation sense, a right-invariant metric on $G$ is naturalizing when every group law on its underlying set with isometric right translations is isomorphic to $G$; a group is natural when it admits such a metric. We prove that an abelian group $A$ is natural if and only if $2A=A$ or $2A=\{0\}$, and a nonabelian group is natural if and only if it is not generalized dicyclic. Every natural group admits a naturalizing metric with at most five values, and this bound is sharp.
The Eigenvalue Region of a Family of Markov Chains with Randomness Confined to Two States
We determine the complete eigenvalue region of the following Markov chains on $2q$ states, for $q\ge2$. The states are $A_0,\ldots,A_{q-1}$ and $B_0,\ldots,B_{q-1}$. Each transition $A_j\to A_{j+1}$ and $B_j\to B_{j+1}$, for $0\le j<q-1$, has probability one. From $A_{q-1}$, the chain moves to $A_0$ with probability $a$ and to $B_0$ with probability $1-a$. From $B_{q-1}$, it moves to $B_0$ with probability $b$ and to $A_j$ with probability $(1-b)p_j$. Here $a,b\in[0,1]$ and $p_j\ge0$ with $\sum_{j=0}^{q-1}p_j=1$; these parameters vary over all permitted values. Every segment from zero to an attainable eigenvalue lies in the region. Its unit-circle points are exactly the roots of unity of order at most $2q$, as for unrestricted stochastic matrices of the same order, yet the full region is strictly smaller. It excludes $0<|\operatorname{Arg}λ|<π/q$. For odd $q$, the final nonreal boundary arc ends at a negative real point inside the unit disk; the remaining interval to $-1$ is also boundary. Every transition matrix has the same characteristic polynomial as one with $a=b$. Among $q+1$ fixed matrices in this balanced family, convex combinations of at most three realize every attainable eigenvalue, and two suffice on the boundary. Both bounds are sharp within this set. Consecutive reduced fractions in $[1/(2q),1/2]$ with denominators at most $2q$ select the upper nonreal boundary constructions. Each boundary radius is the unique solution of an equation whose left-hand side increases strictly with the radius.
Spectral extremal graphs for $W_5$-free graphs with odd size
For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[
\operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [12] proposed the following conjecture: When $m-\binom{k}{2}$ is divisible by $k$ and $m$ is large, every $W_{2k+1}$-free graph of size $m$ satisfies \(
ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2} \) with equality precisely for $K_k\vee qK_1$. For nonzero residue class, Yu, Zhang, and Zhang [13] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$ and $m$ is large. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. Very recently, Fang, Zhai and Zhang [4] confirmed the Yu--Li--Peng conjecture for $k\ge 2$. Chen, Gao and Li [2] confirmed Yu-Zhang-Zhang conjecture for $k\ge 3$. When $k=2$, then $W_5=K_1\vee C_4$. For large odd $m$, determining $\operatorname{spex}(m,W_5)$ is still open. In this paper we address the odd-size problem. Our result disproved Yu-Zhang-Zhang conjecture for $k= 2$. In our proof, a universal defect bound shows that only $O(1)$ edges can lie outside the dense core. Perron localization then reduces this to at most one edge. A discrete defect inequality forces the complete bipartite crossing and quantizes the two matching deficiencies. Exact quotient-polynomial comparisons eliminate the remaining cross-edge and odd--odd candidates.
Extremal Lin--Lu--Yau Curvature: Graph Density, Girth, and Short Cycles
We develop a variational framework for extremal Lin--Lu--Yau curvature under positive edge reweighting with the combinatorial metric fixed. For a connected locally finite graph $G$, define \[ \Kmax(G) := \sup_{w>0}\inf_{e\in E(G)}κ_{\LLY}^w(e). \] This invariant relates edgewise discrete curvature to global combinatorial and topological data. In the high-girth regime, we prove for every connected locally finite graph the exact identity \[ \Kmax(G)=\frac4{\mad(G)}-2, \] with the convention $1/\infty=0$. The formula is also equivalent to a normalized Euler-characteristic density: \[ \Kmax(G) =
\inf_{\substack{H\subseteq G\text{ finite}\\E(H)\ne\varnothing}} \frac{2(c(H)-β(H))}{|E(H)|}. \] For arbitrary locally finite graphs, a nonnegative short-cycle surplus yields girth-dependent density bounds, with rigidity results in the finite case. We also classify the locally finite graphs of girth at least $6$ admitting a positive edge weight with nonnegative curvature on every edge: they are precisely the trees and the finite cycles.
Characterization of $\mathfrak{k}$-highest weight and $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson rule and lattice points in flagged hive polytopes
We have previously, for a given positive integer $n$, explicitly characterized by certain linear inequalities the $\mathfrak{k}$-highest weight tableaux of shape length $2n$ or $2n-1$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson (LR) rule. We now extend that characterization for lower shape lengths. Then using the composition of promotion operators defining the Naito-Suzuki-Watanabe bijection between $\mathfrak{k}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we also explicitly characterize by certain linear inequalities the corresponding $\widehat{\mathfrak{g}}$-dominant tableaux when the shape length is $2n$ or $2n-1$. In addition, when the given $n$ is $3$ or $ 4$ the $\mathfrak{k}$-highest weight and the $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux are characterized by linear inequalities for lower shape lengths.
Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram (LRS) tableaux, we relate our results on the inverse quantum LR rule with other two bijections for the Naito-Sagaki conjecture and establish bijections between $\mathfrak{k}$-highest weight tableaux, $\widehat{\mathfrak{g}}$-dominant tableaux and the lattice points in a (disjoint) union of flagged hive polytopes.
Multiple Zeta Values
These lecture notes are based on three courses given at Nagoya University. Their purpose is to give a beginner-friendly introduction to multiple zeta values and several of their variants, such as finite and symmetric multiple zeta values, q-analogues of multiple zeta values, and multiple Eisenstein series. These notes will be updated in the future.
Shellability of relative squeezed balls and spheres
Squeezed balls and spheres, introduced by Kalai, form a rich class of triangulated complexes arising from subcomplexes of cyclic polytopes, with well-understood shellability properties. Recently, Novik and Zheng introduced relative squeezed balls, obtained as differences of squeezed balls, and used them to construct large families of highly neighborly simplicial spheres. While these complexes are known to be constructible, their shellability has remained open. In this paper, we resolve this question by proving that both relative squeezed balls and their boundary complexes are shellable. We provide explicit shelling orders and characterize restriction faces, thereby establishing strong combinatorial structure for this new class of complexes.
Frugal colourings of graphs via sparse hypergraph colouring
A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours required for a $β$-frugal colouring of $G$. For a fixed frugality $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a bipartite construction of Alon certifies the tightness of this upper bound up to a constant factor. Using a sparse hypergraph colouring theorem of Li and Postle, we show that for all fixed $β\ge 2$ and $t\ge 2$, if $G$ excludes either $C_{2t}$ or $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up to a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. Finally, we show that excluding an arbitrary bipartite subgraph does not necessarily reduce the order of growth of $χ_β$, as there exist $K_{4^{β+1},4^{β+1}}$-free graphs $G$ with arbitrarily large maximum degree $Δ$ such that $χ_β(G) = Ω(Δ^{1 + 1/β})$.
On the Rigidity of Random Graphs in high-dimensional spaces
We study the maximum dimension $d=d(n,p)$ for which an Erdős-Rényi $G(n,p)$ random graph is $d$-rigid. Our main results reveal two different regimes of rigidity in $G(n,p)$ separated at $p_c=C_*\log n/n,~C_*=2/(1-\log 2)$ -- the point where the graph's minimum degree exceeds half its average degree. We show that if $p < (1-\varepsilon)p_c $, then $d(n,p)$ is asymptotically almost surely (a.a.s.) equal to the minimum degree of $G(n,p)$. In contrast, if $p_c \leq p = o(n^{-1/2}) $ then $d(n,p) $ is a.a.s. equal to $(1/2 + o(1))np$. The second result confirms, in this regime, a conjecture of Krivelevich, Lew, and Michaeli.
Improved Explicit and Algorithmic Lower Bounds for r(5,t)
We modify a construction of Bradač \cite{Bradac26} using a vertex ordering to give, for every prime power $q$, an explicit $K_5$ free graph with more than $q^7$ vertices and independence number below $600q^4$. This shows $$r(5,t)=Ω(t^{7/4}).$$ Additionally, pruning a graph defined by the Coulter and Matthews polynomial $X^{14}$ \cite{CM}, we give a deterministic polynomial time construction proving $$r(5,t)=Ω\bigl(t^{20/11-\varepsilon}\bigr)$$ for every fixed $\varepsilon>0$. These results improve the constructive lower bound $Ω(t^{5/3})$ of Kostochka, Pudlák and Rödl \cite{KPR}.
Equilibria of Inverse-Square Repulsion on the Line Are Arithmetic Progressions
Benjamini asked whether every configuration of points on the real line that is in equilibrium under the inverse-square repulsive force must be an arithmetic progression. Georgakopoulos and Kolountzakis proved this when some gap between consecutive points has maximal or minimal length, and described the general (aperiodic) case as open. We show that the answer is yes. More generally, let $1<s\le2$, and let $X\subset\mathbb{R}$ be a locally finite set with at least two points such that, for every $x\in X$, the total force $\sum_{y\in X\setminus\{x\}}|y-x|^{-s}$ is finite and the net force $\sum_{y\in X\setminus\{x\}}\operatorname{sgn}(y-x)\,|y-x|^{-s}$ is zero. Then $X$ is an arithmetic progression. No a priori assumption on the gaps is needed. Subtracting the equilibrium equations of two consecutive points shows that the gaps $g_n$ form a positive harmonic function for an explicit reversible random walk on $\mathbb{Z}$ with long-range jumps. Equilibrium also bounds the ratio of consecutive gaps, by $1.5386\ldots$ when $s=2$. With this bound, an energy estimate shows that the Doob transform of the walk by $g$ is recurrent. Since $1/g$ is a positive harmonic function of the transformed walk, it is constant.
Cubic vertices in minimal braces
Braces play a fundamental role in matching theory, as they, together with bricks, constitute the basic building blocks of matching covered graphs in the tight cut decomposition. A brace is minimal if deleting any edge from it results in a graph that is not a brace. We prove that every perfect matching of a minimal brace of order at least six contains an edge whose ends both have degree three. Consequently, every such brace has at least three edges with this property. Combining this result with the forest structure induced by the noncubic vertices, we show that every minimal brace $G$ of order $n\ge6$ and size $m$, other than $K_{3,3}$, satisfies $n_3(G)\ge\max\left\{8,\left\lceil\frac{2n+8}{5}\right\rceil, \left\lceil\frac{m-n+4}{2}\right\rceil\right\}$, where $n_3(G)$ is the number of cubic vertices of $G$. Finally, we characterize the graphs attaining the constant lower bound: a minimal brace has exactly eight cubic vertices if and only if it is isomorphic to $B_8$, $B_{10}$, $Q_{10}^{+}$, or $Q_{12}$.
Removing $m$ from $m$-pile Divisor Nim
In Divisor Nim, a player removes from one heap a positive number of stones that divides the size of every other heap. We prove that the Sprague--Grundy (SG) value satisfies $g(P)\le 2h_{\min}+\lfloor\log_2h_{\min}\rfloor$, where $h_{\min}$ is the smallest nonempty heap, independently of the number and sizes of the other heaps. The proof starts with odd heaps and classifies removals by their factors of $2$. The largest heap in a starting board then supplies an SG bound valid throughout every successor chain. When one heap varies, we sharpen Morisawa's eventual-period bound: the smallest fixed heap controls the SG value range, the number of consecutive values compared, and an increase in the varying heap that repeats legal moves. The remaining dependence on the fixed board lies in the SG periods of direct successors. Using the largest fixed heap, we derive an explicit common period for all these recursive layers. Its possible prime divisors belong to a fixed finite set, independent of heap count; their exponents remain controlled by the total fixed stones. Finally, joining boards under one shared divisor rule preserves and can tighten the SG ceiling. Minimum 2-adic depth and its count parity determine every joined outcome, and a join with at least two odd heaps has exact SG value $0$ or $1$. We close with two conjectures: $g(P)\le2h_{\min}$, and that the least eventual SG period, when one heap varies, divides $2\operatorname{lcm}(1,\ldots,h_{\max})$. Here $h_{\max}$ is the largest fixed heap, excluding the varying heap. The second claim would remove heap-count dependence from the period bound as well.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
Permanental inequalities and unit interval orders
Given an $n \times n$ matrix $A = (a_{i,j})$ and
sets $I$, $J$ of $[1,n] := \{1,\dotsc,n\}$,
let $A_{I,J} = (a_{i,j})_{i\in I, j \in J}$ denote the $(I, J)$-submatrix of $A$.
We consider a class of $0$-$1$ totally nonnegative (TNN) matrices arising
as antiadjacency matrices of unit interval orders, and show that for each
matrix $A$ in this class,
the inequalities
\begin{equation}
\operatorname{perm}(A_{[1,h],[1,h]}) \operatorname{perm}(A_{[h+1,n],[h+1,n]}) \;\geq\;
\operatorname{perm}(A_{[1,n] \cap 2\mathbb Z, [1,n] \cap 2\mathbb Z})
\operatorname{perm}(A_{[1,n] \smallsetminus 2\mathbb Z, [1,n] \smallsetminus 2\mathbb Z}) \label{eq:absmain}
\end{equation}
hold for $h = 1,\dotsc, n-1$.
Let $\mathfrak A_n$ be the Young subgroup $\mathfrak{S}_{1, \dotsc, \lfloor\frac{n}{2}\rfloor}\times \mathfrak{S}_{\lfloor\frac{n}{2}\rfloor +1, \dotsc, n}$, and $\mathfrak B_n$ be the parity-alternating permutations $\{w = w_1\cdots w_n \in \mathfrak{S}_n \ | \ \text{$i$ and $w_i$ have the same parity} \}$. We find a bijective map $f_n: \mathfrak A_n \rightarrow \mathfrak B_n$ such that $w \leq f_n(w)$ under the Bruhat order
for all $n\geq 4$. The existence of such a bijective map $f_n$ ensures that inequalities are satisfied for all TNN matrices $A$ when $h=\lfloor\frac{n}{2}\rfloor$.
We also conjecture the inequalities to hold for all totally nonnegative matrices and all $h = 1, \dotsc ,n-1$
Borwein-Bradley-type identities for Ramanujan-type series for $1/π^4$
We prove ten conjectures of Z.-W. Sun on Ramanujan-type series for $1/π^4$ and $π^4$ with harmonic numbers. They follow by comparing Taylor coefficients in new Borwein-Bradley-type identities, whose products depend only on $x^3$, $x^4$, $x^6$ or $x^8$. These identities come from parametric extensions of the series of Cullen and Zhao. We derive the extensions from K. C. Au's Wilf-Zeilberger (WZ) seeds, and their sums are trigonometric. Our proofs use Guillera's periodicity argument and give new proofs of the original series. In the same way, Dougall's $_5F_4$ sum gives half-integer analogues of the identities of Koecher, Borwein-Bradley and Cohen, whose Taylor coefficients are Apéry-like series for products of zeta values.
Domination and Total Domination in Johnson graphs
In this paper we study domination and total domination of Johnson graphs $J(n,k)$. We establish monotonicity results proving that both $γ(J(n,k))$ and $γ_t(J(n,k))$ are non-decreasing with respect to $n$. We compute exact values for $γ_t(J(n,k))$ in specific cases, showing that $γ_t(J(n,2))=\lceil\frac{2}{3}(n-1)\rceil$ for $n\geq 4$, and determining $γ_t(J(n,3))$ for $n\geq 6$, which depends quadratically on $n$.
The asymptotic maximum oriented diameter of graphs
The oriented diameter of a connected bridgeless graph is the minimum diameter of a strong orientation. Let $f(d)$ be the maximum oriented diameter among all such graphs of diameter $d$. In 1978, Chvátal and Thomassen proved $f(d)\le2d^2+2d$ and constructed graphs showing that any quadratic upper bound on $f(d)$ must have leading coefficient at least $1/2$. We prove that $f(d)\le \tfrac12d^2+7d$ for every integer $d\ge1$. This matches the leading coefficient of their lower bound and establishes $f(d)=\tfrac12d^2+O(d)$, determining the optimal quadratic coefficient. Our proof gives a polynomial-time algorithm that constructs a strong orientation satisfying the stated bound.
Proof of the mad conjecture and its coloring applications
For a finite graph $G$, the maximum average degree $\operatorname{mad}(G)$ is the largest average degree of a nonempty subgraph of $G$. Hendrey, Norin and Wood asked whether this parameter is partitionable, that is, whether for all positive reals $a,b$ every graph $G$ with $\operatorname{mad}(G)<a+b$ admits a vertex partition $V(G)=A\cup B$ with $\operatorname{mad}(G[A])<a$ and $\operatorname{mad}(G[B])<b$. In this note, we answer this question affirmatively. Moreover, we generalize this to an arbitrary number of partition classes.
The clustered chromatic number $χ_\star(\mathrm{G})$ of a graph class $\mathrm{G}$ is the minimum integer $k$ such that, for some integer $c$, every graph in $\mathrm{G}$ has a $k$-coloring in which every monochromatic component has at most $c$ vertices. We apply this result to show that $χ_\star(\mathrm{A}_m)=\left\lfloor\frac{m}{2}\right\rfloor+1$, where $\mathrm{A}_m$ is the family of graphs $G$ with $\operatorname{mad}(G)\leq m$. This solves an open problem posed in Wood's survey and highlighted by Hendrey and Wood.
As another application of our general partition result for $\operatorname{mad}$, we obtain a bound for relaxed colorings. Namely, for non-negative integers $d_1,\ldots,d_k$, every graph $G$ with \[\operatorname{mad}(G)<\sum_{i=1}^k \frac{2d_i+2}{d_i+2}\] admits a partition $V(G)=V_1\cup\ldots\cup V_k$ such that $Δ(G[V_i])\leq d_i$ for each $i\in[k]$. In particular, this provides the first non-trivial bounds for $k\ge3$ with arbitrary $d_i$ and improves the previously known bound for $(d+1,d)$-colorings with $d \ge 2$.