Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Shifted S-templates and improved lower bounds for Schur numbers
We present an extension of the template-based approach for Schur numbers developed by Rowley. This new form of template construction, which we call shifted S-templates, was discovered during a conversation with ChatGPT 5.5 Pro, then refined, verified, and extended to multiple shifted S-templates. These new templates generalize the first ones by giving more flexibility in the coloring. Using this added flexibility with the new way to color the special label cells of the template, we exhibit a template which yields the recurrence $S(k+2) \geq 10S(k)+2$, improving on the classical Abbott-Hanson recurrence $S(k+2) \geq 9S(k)+4$ for the same step. Combined with the known bounds $S(6) \geq 536$ and $S(11) \geq 203\,828$, this implies $S(8) \geq 5\,362$ and $S(13) \geq 2\,038\,282$, improving the previously listed lower bounds $5\,286$ and $2\,011\,290$.
Two problems on booksize and triangular edges in Nosal graphs
A graph $G$ with $m$ edges is said to be a Nosal graph if $ρ(G)>\sqrt{m}$. For a graph $G$, we write $bk(G)$ for its maximum book size and $τ(G)$ for the number of edges contained in triangles. Li, Liu and Zhang [J. Combin. Theory Ser. B 179 (2026) 219--249] proved that every $m$-edge Nosal graph satisfies $bk(G)> \frac{1}{24}\sqrt{m}$ and $τ(G) > \frac{1}{12}\sqrt{m}$. Recently, Zhai, Li and Lou [arXiv:2601.10163v2] proved that every $m$-edge Nosal graph satisfies $bk(G)> \frac{1}{9}\sqrt{m}$. In this paper, we establish the following result: Every $m$-edge graph $G$ with no isolated vertices and $ρ(G)\geq \sqrt{m}$ that is not isomorphic to any complete bipartite graph satisfies $bk(G)\geq\frac{ρ(G)}{3}$ and $τ(G)\geq ρ(G)$. As direct consequences, we answer a question of Li, Liu and Zhang [J. Combin. Theory Ser. B 179 (2026) 219--249] and confirm a conjecture of Li, Feng and Peng [J. Graph Theory 110 (4) (2025) 408--425].
The order of long rainbow arithmetic progressions
Let $T_k$ be the minimum positive integer $t$ such that, for every positive integer $n$, every equinumerous $t$-coloring of $[tn]$ contains a rainbow $k$-term arithmetic progression. Jungić, Licht, Mahdian, Nešetřil and Radoičić conjectured that $T_k=Θ(k^2)$, while Conlon, Fox and Sudakov proved that $T_k=O(k^2\log k)$. We prove the matching lower bound $T_k=Ω(k^2\log k)$, and hence $T_k=Θ(k^2\log k)$.
Asymptotic Brill-Noether Existence at the Half-Canonical Degree: Energy Pairing, Cheeger Inequality and Covering Radii
We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.
The Kővari-Sós-Turán theorem for $\operatorname{GF}(q)$-representable matroids
In this paper, we establish an analogue of the Kővari-Sós-Turán Theorem for $\operatorname{GF}(q)$-representable matroids. For $2\leq s\leq t$, we show that if $M$ is a rank-$n$ simple $\operatorname{GF}(q)$-representable matroid having no $M(K_{s,t})$-restriction, then \[
|E(M)|=O_{q,s,t}\bigl(q^{(1-1/s)n}\bigr). \] In particular, we prove that the maximum number of elements in a simple rank-$n$ binary matroid with no $M(K_{2,t})$-restriction is $Θ_{t}(2^{n/2})$ where the lower bound is obtained using binary Sidon sets.
Products of simplices are canonically Ramsey
A set of points $C \subset \mathbb{R}^n$ is called canonically Ramsey if there is some set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$, using any number of colours, must contain either a monochromatic copy of $C$ or a rainbow copy of $C$. Mao, Ozeki, and Wang introduced this notion, showing that 30-60-90 triangles are canonically Ramsey. Since then, various other canonically Ramsey configurations have been identified. The author showed that cuboids are canonically Ramsey, while Ge, Shu, Xu, and Yu recently showed that simplices are canonically Ramsey. We extend both of these results, proving that all products of simplices are canonically Ramsey.
Dense sets without large sumsets
We prove, for all fixed $0 < δ< 1$, and all sufficiently large $n$, that there exists $S \subset [n]$ with $|S| \ge δn$ such that $A + B \not \subset S$ for all ${A, B \subset \mathbb{N}}$ satisfying $$\min\big\{|A|, |B|\big\} \ge \big(3 + o(1)\big) \frac{\log n }{ \log (1 / δ)}.$$ A very recent result of Hernández and Hetzel shows that our bound is sharp up to a factor of 3, and together our results settle a conjecture of Kra, Moreira, Richter, and Robertson. In fact, we prove that a $δ$-dense random subset of $[n]$ is a valid choice for $S$ with high probability, and that one can take $n^{-α} \le δ\le 1 - c$ where $c > 0$ is fixed and $α> 0$ depends only on the $o(1)$ error, answering another question of the same authors in a strong form.
Critical dimensions and small cycle dominance from all-orders asymptotics of $d$-matrix theory
Published in JHEP 08 (2026) 131
• View Publication
• BIB
Supersymmetric sectors of $\mathcal{N}=4$ super-Yang-Mills theory motivate the study of the partition function for the counting of gauge-invariant functions of $d=2,3$ matrices transforming under the adjoint action of $U(N)$. The partition function $ \mathcal{Z}_d ( x) $ in the large $N$ limit has a known Hagedorn phase transition at $ x = d^{-1} $ which provides a simple model for the phase structure of the thermal partition function of SYM. We study the all-orders asymptotic expansion of $ \mathcal{Z}_d(x)$ based on a geometric picture of concentric circles of poles in the complex plane accumulating in a natural boundary at $|x| =1$. We find that the order by order structure has a precise combinatorial interpretation organized in terms of increasing cycle size of permutations arising in the enumeration of the invariants. We refer to this organization as small-cycle dominance, and find that it extends to refined versions of the partition functions depending on several complex variables. An analysis of the coefficients in the asymptotic expansion of $ \mathcal{Z}_d(x) $ using the modular property of the Dedekind eta function reveals that the asymptotic expansion is actually convergent for $d\ge d_{ \rm crit } = 13$. A fermionic version of $\mathcal{Z}_d (x)$ has an analogous critical dimension of $ d_{ \rm crit} = 7$. This distinction indicates that the partition functions of the matrix models can be completely reconstructed from their high-energy (UV) limit for $d\ge d_{ \rm crit}$ whereas additional input is required to reconstruct the exact coefficients of the low-energy (IR) expansion for $2\le d \le d_{ \rm crit } -1 $.
An Improved Upper Bound on the Threshold Bias of the Oriented-cycle Game
Published in The Electronic Journal of Combinatorics 33(3) (2026), #P3.59
• View Publication
• BIB
We study the $b$-biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of $K_n$ (the complete graph on $n$ vertices). In each round, OMaker directs one previously undirected edge followed by OBreaker directing between one and $b$ previously undirected edges. The game ends once all edges have been directed, and OMaker wins if and only if the resulting tournament contains a directed cycle. Bollobás and Szabó asked the following question: what is the largest value of the bias $b$ for which OMaker has a winning strategy? Ben-Eliezer, Krivelevich and Sudakov proved that OMaker has a winning strategy for $b \leq n/2 - 2$. In the other direction, Clemens and Liebenau proved that OBreaker has a winning strategy for $b \geq 5n/6+2$. Inspired by their approach, we propose a significantly stronger strategy for OBreaker which we prove to be winning for $b \geq 0.7841n + O(1)$.
Independent Sets in Multiset Profile Graphs via Weighted Local Covers
Let $G_q(d)$ be the unit-transfer graph on the nonnegative integer vectors whose $q$ coordinates sum to $d$, equivalently on the multiplicity profiles of size-$d$ multisets over $q$ symbols. The prime-checksum conjecture predicts that, for prime $q$ and all sufficiently large $d$, a largest independent set is a fiber of the natural cyclic checksum. We introduce weighted local covers of $G_q(d)$ by translated induced subgraphs. For fixed $q$, capped anchor profiles reduce the covering conditions for infinitely many degrees to a finite rational linear system.
This method gives new proofs of the known cases $q=3$ and $q=4$ and determines $α(G_q(d))$ exactly for $q=5$ and $q=7$ in every degree, thereby proving the next two odd-prime cases of the conjecture. In the complementary regime where $d$ is fixed and $q$ grows, a partition-orbit reduction solves degree five for $q\ge7$, gives exact power-of-two families in degrees six, eight, and ten, and yields an asymptotically sharp upper bound through three terms for every fixed $d\ge7$. All computer-assisted assertions reduce to finite rational or integer systems and are supported by independently checkable certificates.
Online Beck--Fiala Down to Logarithmic Sparsity
The Beck--Fiala conjecture asserts that every matrix $A\in\{0,1\}^{n\times T}$ with at most $d$ nonzero entries in each column has discrepancy $O(\sqrt d)$. A major breakthrough result of Bansal and Jiang recently established the validity of the conjecture for $d \ge \log(T)^2$. The present article extends the validity of the classical \textit{offline} Beck--Fiala conjecture to $d \ge \log(T)^{1+o(1)}$; moreover, the main thrust of the result is that it is actually obtained by an efficient \textit{online} algorithm that minimizes prefix discrepancy. The result is also essentially optimal, since online prefix discrepancy is known to scale as $ω(\sqrt{d})$ for $d =o(\log T)$. As an immediate corollary, the open question of online vector balancing in the Spencer setting is also resolved.
The algorithm is based on a compactly supported Metropolis fixed-point walk, constructed by combining ideas from several recent works on the online Komlós problem. The proof was generated in conversation with ChatGPT 5.6 Pro; the authors provided high-level guidance in several rounds of prompting, followed by manual checking and rewriting of the proof.
Shuffle-compatibility for combinatorial statistics on words, parking functions, and set partitions
We introduce notions of (weak) shuffle-compatibility for statistics on words, parking functions, and set partitions, generalizing Gessel and Zhuang's shuffle-compatibility for statistics on permutations. For parking functions and set partitions, we perform a systematic review of statistics that appear in the FindStat database (as well as the literature). We further define (shifted) shuffle algebras of (weakly) shuffle-compatible statistics on the equivalence classes induced by the statistics. These algebras relate closely to various combinatorial Hopf algebras such as QSym, FQSym, PQSym, and NCSym. These constructions yield new combinatorial interpretations of various Hopf algebra bases and, in some cases, new bases entirely.
The role of expanders in the spectral geometry of metric graphs
Expanders are families of graphs that are sparse in edges but dense in connectivity.
After reviewing combinatorial and spectral definitions of expanders, we use precise lower bounds on Ramanujan graphs to investigate upper bounds -- and, specifically, the lack thereof -- on the eigenvalues of the Laplacian on \emph{metric} graphs in terms of volume, diameter, girth, mean distance, and torsional rigidity, among others.
Measures and generalizations of dual Littlewood identities
Published in Forum Math. Sigma 14 (2026), e106, 1-20
• View Publication
• BIB
We introduce three families of vectors $|\underlineλ^{so}\rangle$, $|\underlineλ^{sp}\rangle$ and $|\underlineλ^{o}\rangle$ parametrized by partitions in the Fock space by using products of adjoint vertex operators. We show that the quotient space of the dual vacuum vector is spanned by the partition vectors indexed by a special family of partitions. The partition-indexed vectors also help us to derive the dual Littlewood identities of types B, C, and D in a new manner associated to the special family of partitions. As an application, we obtain a new free fermionic construction to show that the measures related to dual Littlewood identities introduced by Rains \cite[Section 7]{Rai2000} and Betea \cite[Section 3]{Be2020} are determinantal with repect to some explicit correlation kernels.
Furthermore we establish a number of generalized Littlewood identities summed over certain restricted partitions by computing the inner products with elements indexed by one-column partitions {or generalized partitions $(0^m)$} in the complete dual Fock space. {In particular, for each positive integer $n$, we obtain generalized Littlewood identities for $(-n)$-asymmetric partitions. We show that these generalized Littlewood identities contain several well-known Littlewood-type identities as special cases. Consequently we also give a new proof of the generalized Littlewood identity \cite[(5.25)]{LSV2008} for Lie superalgebras. } %We also produce infinite generalized Littlewood identities by calculating the inner products between these elements and some elements indexed by one-column partitions in the complete dual Fock space.
The small Davenport constant of the Heisenberg group of order 125
The small Davenport constant $\mathsf{d}(G)$ of a finite group $G$ is the maximal length of a product-one-free sequence over $G$. For the exponent-$p$ Heisenberg group $H_{p^3}$ of order $p^3$, Godara and Sarkar proved $\mathsf{d}(H_{27})=6$ and posed $\mathsf{d}(H_{p^3})=3p-3$ for every odd prime $p$, leaving $p\ge5$ open. We settle the first open case: $\mathsf{d}(H_{125})=12$. The lower bound is the explicit product-one-free sequence $x^4y^4v^4$. For the upper bound we record a product-one criterion that reduces the non-commutative problem to additive combinatorics over $\mathbb{F}_5^2$, and then reduce "every length-13 sequence has a product-one subsequence" to a single finite statement -- a spread bound on quotient multisets -- which we verify by an exhaustive, memory-flat search in C, its verdict independently reproduced by a second search with a different pruning strategy. Every auxiliary lemma is machine-checked. The argument is genuinely $p$-specific: we identify the exact step that fails for $p\ge7$ (a Chevalley-Warning shortcut whose forced block need not be wide), exhibit the obstructing multiset for $p=7$, and leave only $18\le\mathsf{d}(H_{343})\le24$. The techniques -- the Cauchy-Davenport theorem, Chevalley-Warning, and Olson's value of the Davenport constant of $C_p^2$ -- are standard; the contribution is their assembly against a new non-abelian target and the finite verification that closes it.
Corner Rectangle Visibility Graphs
We introduce corner rectangle visibility graphs (CRVGs), a combination of two geometrically defined classes of graphs: rectangle visibility graphs (RVGs) and rectangle-of-influence graphs (RIGs). A CRVG has vertices represented by axis-parallel rectangles in the plane, and edges represented by axis-parallel rectangles with one corner at a corner of a vertex-rectangle, an opposite corner at the boundary of another vertex-rectangle, and no vertex-rectangles in their interiors. We also consider CRVGs that only see in one or two directions (south CRVGs and southwest CRVGs).
We prove that south CRVGs have at most $\left[\frac{n^2}{4}\right]+n-2$ edges, and this bound is tight. This is the same as the tight edge bound for closed RIGs, but they are different graph classes. We also show that southwest CRVGs have at most $\left[\frac{n^2}{3}+\frac{n}{3}\right]-1$ edges, and this bound is tight. We prove that CRVGs on $n$ vertices have at most $e$ edges, where $\lfloor \frac{3n^2}{8} \rfloor \leq e \leq \lfloor \frac{2n^2}{5} \rfloor$. Finally, we classify several families of graphs as CRVGs, SCRVGs, and SWCRVGs.
Further thoughts on dimensions of posets
We recall the concept of the dimension of a finite poset $P$, and the longstanding conjecture that for all finite nonempty posets $P$ and $Q$, $\dim(P\times Q)\geq\dim(P)+\dim(Q)-2.$ We then note two other plausible inequalities, either of which would imply that one.
In the final section, writing $P\preccurlyeq P'$ if, for all $Q,$ $\dim(P\times Q)\leq\dim(P'\times Q),$ and writing $P\approx P'$ if $P\preccurlyeq P'$ and $P'\preccurlyeq P,$ we note some results and questions concerning these relations.
Domination-packing ratio for planar and unit disk graphs
The domination number $γ(G)$ of a graph $G$ is the smallest possible size of a vertex set that intersects every radius-$1$ ball of $G$, and the packing number $ρ(G)$ is the maximum number of pairwise vertex-disjoint radius-$1$ balls. We prove that $\frac{γ(G)}{ρ(G)}\le 5$ for every planar graph and $\frac{γ(G)}{ρ(G)} \le \frac{18\sqrt3}π\approx 9.924$ for every unit disk graph, thus yielding Erdős-Pósa-type bounds for the hypergraph of radius-$1$ balls in the two graph classes. This improves upon results of Gutiérrez and Paul, and Dúcz and Gujgiczer, who in turn lowered bounds of Bonamy, Csikós, Gujgiczer and Yuditsky, and Böhme and Mohar. For both graph classes, the best known lower bound on the optimal constant remains $3$.
Periodicities in the Riordan arrays of polynomials over finite fields
We study periodicity properties of the 2-D $\bigl(p_1(t)/p_2(t),\, tp_3(t)\bigr)$ and 3-D $\bigl(p_1(t)/p_2(t),\, tp_3(t),\, p_4(t)\bigr)$ Riordan arrays over a finite field ${\mathbb F}_q$, where each $p_i(t)$ is a polynomial with $p_i(0)\neq 0$. We show that the columns of the 2-D Riordan array are eventually periodic sequences, where a circulant matrix generated by the coefficients of $p_3(t)$ determines the behavior of this periodicity as the column index grows indefinitely. Furthermore, we prove that the preperiodic column partial sums of the 2-D array are periodic, and present a family of the Riordan arrays for which such sequences of partial sums are identically zero. We also show that the layers of the 3-D Riordan array contain periodic orbits related to each other via powers of a circulant matrix generated by the coefficients of $p_4(t)$.
On the Wiener and Harary Indices of Generalized Splitting and Shadow-Splitting Graphs
In this paper, we determine the Wiener index and the Harary index for the $(p,q)$-generalized splitting graph $S_{p,q}(G)$ and the $(c,k)$-shadow-splitting graph $H_{c,k}(G)$ for a connected graph $G$.