Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Virasoro Recursions for Simplicially Stable Curves with Colliding Markings
We study descendant integrals on moduli stacks of simplicially stable curves. For each finite collision complex, we factor the reduction morphism into elementary wall crossings and obtain a reconstruction formula in terms of ordinary Witten-Kontsevich correlators. We use the formula to derive corrected Virasoro recursions. We then package all finite-support theories in a completed disjoint-support Fock space, where the extended potential is a cumulant translate of the Witten-Kontsevich potential.
The balanced upper chromatic number of linear hypergraphs and the $n$-cube over $t$ elements
A coloring of the vertices of a hypergraph is called \emph{balanced} if the sizes of the color classes differ by at most one. We say that a hyperedge is \emph{rainbow} if its elements have pairwise distinct colors. In this paper, we provide a general upper bound on the \emph{balanced upper chromatic number} of arbitrary linear hypergraphs, that is, the largest integer $k$ such that there exists a balanced $k$-coloring of the vertices of the hypergraph without rainbow hyperedges. We focus on the cube $C_t^n$, defined as the linear hypergraph whose vertices are the lattice points in $[0,t-1]^n$, and whose hyperedges are the sets of $t$ collinear points. We determine the exact balanced upper chromatic number of $C_t^n$ for $t\geq 4n-2$. For smaller values of $t$, we present bounds and determine this parameter (with few exceptions) in dimensions $2$ and $3$.
Cyclic Shuffle Groups: Universal Two-Transitivity and Complete Classification
Let \(k\geq 3\), \(n\geq 1\), and let \(H_{k,n}=\Sh(C_k,n)\) be the group generated by the standard \(k\) pile perfect shuffle and cyclic pile permutation on a deck of \(kn\) cards. We prove that \(H_{k,n}\) is \(2\)-transitive whenever \(n\) is not a power of \(k\). Residual commutators give translations supported on two pile labels, and a strongly connected digit digraph propagates these translations throughout the deck, a separate argument resolves the antipodal support case. We then combine this result with fixed point ratio bounds for primitive groups and explicit boundary calculations to determine \(H_{k,n}\) for all \(k\) and \(n\). If \(n=k^f\), then \(H_{k,n}\cong C_k\wr C_{f+1}\). If \(k=4\) and \(n=2\cdot4^j\), then \(H_{4,n}\cong\AGL(2j+3,2)\). In every other case, \(H_{k,n}\) is \(\Alt(kn)\) or \(\Sym(kn)\), according to the parity of its generators. This proves Conjecture~1.10 of Amarra, Morgan and Praeger and Conjecture~5.1 of Xia, Zhang, Zhang and Zhu. More generally, we classify \(\Sh(P,n)\) for every pile group \(P\) containing \(C_k\), and obtain the odd \(k\) part of their Conjecture~5.2.
An upper bound for the type of a numerical semigroup, and a reduction of Wilf's conjecture
Let $S$ be a numerical semigroup with multiplicity $\mult$, conductor $\cc$, embedding dimension $\ee$, type $\typ$ and genus $\gnus$, and let $\nn=\cc-\gnus$. Wilf's conjecture asserts that $\ee\,\nn\ge\cc$; the inequality $\gnus\le\typ\,\nn$ of Fröberg, Gottlieb and Häggkvist settles it when $\typ\le\ee-1$. The Apéry set of $S$ with respect to any $s\in S\setminus\{0\}$ carries a partial order whose maximal elements are the pseudo-Frobenius numbers translated by $s$; for $s=\mult$ its minimal elements are the minimal generators other than $\mult$. Comparing the two extremal statistics bounds the type by $\typ\le\ee-1+\Xii(S)\le\ee-1+Θ(S)$, where $Θ(S)$ measures the redundancy of the covering of the gaps of $S$ by the pseudo-Frobenius numbers and $\Xii(S)$ refines it. With an exact decomposition of the Wilf number this yields the genus bound $\gnus\le\ee-1+\typ(\nn-1)$, strictly stronger than $\gnus\le\typ\,\nn$ precisely when $\typ\ge\ee$, and reduces Wilf's conjecture to an inequality free of $\cc$ and $\nn$. We determine the equality case of $\gnus\le\typ\,\nn$, recovering a classification of Singhal; answer a question of Moscariello and Sammartano whenever $\ee\ge\typ+1$; and correct Kaplan's classification of the equality case for $\cc\le2\mult$, from which an infinite family is missing.
An AI Generated Counterexample to Borsuk Problem in Dimension 63
We construct a 321 point set in R^63 that cannot be partitioned into 64 subsets of smaller diameter, proving b(63)>=65. Starting from the G_2(4) Euclidean representation and the Jenrich Brouwer 320 point core in dimension 63, we add one projected and rescaled point while preserving the relevant clique obstruction. The example and proof were generated entirely by ChatGPT using GPT 5.6 Sol. The author has personally verified the result and assumes responsibility for that verification, but claims no credit for the originality of the construction.
On Nearly-Perfect Covering Codes Beyond Radius One
We study (binary) nearly-perfect covering codes, which are codes that attain the Van Wee bound with equality. They act as the covering counterparts to nearly-perfect error-correcting codes, which attain the Johnson bound with equality. These codes have been completely classified for covering radius $R=1$. We prove that no code with $R\geq 2$ can attain the original Van Wee bound with equality, since it omits the dependence on the minimum distance of the code. We refine the bound to account for the minimum distance and show some nearly-perfect covering codes. By proving some structural properties of such codes, we prove all nearly-perfect covering codes with $R=2,3$ must be equivalent to the codes we showed. We also prove that for any $R\geq 3$, there are at most a finite number of nearly-perfect covering codes.
Density bounds for permutations avoiding monotone arithmetic progressions
For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $α_X(\ell)$ and $β_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $ω$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[
α_{\mathbb{N}}(3)\geq\frac23,\qquad
α_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $β_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.
A Quantum Latin Square of Order Six with Cardinality 29
We construct an explicit real quantum Latin square of order six with cardinality $29$, the last unresolved value in the order-six spectrum. We first construct a punctured $6 \times 6$ array in $\mathbb{R}^5$ whose punctured rows and columns are orthonormal bases, and then adjoin a common diagonal vector in an orthogonal one-dimensional summand. The six diagonal entries lie on one ray. Of the thirty off-diagonal entries, two rays occur twice and the other twenty-six occur once; exact support and coordinate-ratio comparisons establish this count. Together with the known constructions, this closes the cardinality spectrum of quantum Latin squares of order $6$.
A dense-case theorem for Seymour's second neighborhood conjecture
Seymour's second neighborhood conjecture asserts that every finite oriented graph has a vertex with at least as many exact second outneighbors as outneighbors. Established cases include tournaments, proved by Fisher (1996), and oriented graphs of minimum outdegree at most six, proved by Kaneko and Locke (2001); a recent preprint of Sadhukhan, Sandeep, and Sen (2026) treats minimum outdegree seven. For dense incomplete graphs, Fidler and Yuster (2007) proved the conjecture when the missing edges form a matching, a star, or a clique, Ghazal (2012) extended this direction to generalized stars, and Dara, Francis, Jacob, and Narayanan (2022) proved it when the missing edges can be partitioned into a matching and a star. We give a short counting proof of the conjecture for every oriented graph of order $n=2δ+2$, where $δ$ is the minimum outdegree, with no prescribed structure on the missing edges. Together with Fisher's tournament theorem, this implies the conjecture for every oriented graph satisfying $n\le2δ+2$. Combined with the known minimum-outdegree results, this raises the best lower bound known to us on the order of a counterexample from $16$ to $17$ and, conditional on the preprint of Sadhukhan, Sandeep, and Sen (2026), from $18$ to $19$.
On the difference between clique partition and clique covering numbers of graphs
For a graph $G$, let $\cpn(G)$ and $\ccn(G)$ denote the minimum numbers of cliques whose edge sets partition and cover $E(G)$, respectively, and put $f(n)=\max_{|V(G)|=n}\bigl(\cpn(G)-\ccn(G)\bigr).$ In 1983, Erdős, Faudree, and Ordman asked whether there is a sequence of graphs $G_n$ such that $|V(G_n)|=n$ and $\cpn(G_n)-\ccn(G_n)=n^2/4+O(n)$. The question appears as Problem 66 in Chung's survey \cite{ChungProblems} and is also listed on the UCSD Erdős Problems website. Caccetta, Erdős, Ordman, and Pullman proved that $f(n)=n^2/4-o(n^2)$. We prove that $f(n)=\left\lfloor\frac{n^2}{4}\right\rfloor-Θ(n^{4/3}),$ and hence answer the question in the negative.
A solution to Butler's positivity conjecture
Let $λ, μ, ν$ be distinct partitions such that $λ, μ\subset ν$ and $|ν/λ|=|ν/μ|=1$. We prove Butler's positivity conjecture posed in 1994: the expansion of the Macdonald intersection polynomial \[ \frac{T_λ\widetilde{H}_μ(X;q,t)-T_μ\widetilde{H}_λ(X;q,t)}{T_λ-T_μ} \] in terms of the Schur function basis has coefficients in $\mathbb{Z}_{\geq 0}[q,t]$.
Tripartite Zarankiewicz numbers and norm graphs
For fixed integers $s\ge t\ge2$, let $\operatorname{ex}(n,n,n,K_{s,t})$ denote the maximum number of edges in a tripartite $K_{s,t}$-free graph with $n$ vertices in each part. When $s\ge(t-1)!+1$, let $r$ be the largest integer satisfying $s\ge(t-1)!r^{t-1}+1$. Using the quotient norm graphs of Alon, Rónyai and Szabó, we prove that \[ \operatorname{ex}(n,n,n,K_{s,t}) \ge \left(\frac{3}{2^{1/t}}r^{1-1/t}+o(1)\right)n^{2-1/t}. \] Improving an upper bound of Tait and Timmons, we prove that, for all $s\ge t\ge 2$, \[
\operatorname{ex}(n,n,n,K_{s,t})\le \left(\frac{3}{2^{1/t}}(s-t+1)^{1/t}+o(1)\right)n^{2-1/t}. \] Together, these bounds recover the results for $t=2$, and give the new asymptotic formula \[
\operatorname{ex}(n,n,n,K_{3,3})
=\left(\frac{3}{\sqrt[3]{2}}+o(1)\right)n^{5/3}. \] Analogous results extend to $k$-partite graphs containing no $K_{s, t}$ whose $s$-vertex or $t$-vertex side lies in a single part. As an application of our tripartite construction, we determine the tripartite multicolor Ramsey number of $K_{3,3}$ asymptotically.
Sparse spanning $k$-strong oriented subdigraphs in split digraphs
Jackson and Thomassen conjectured that every $2k$-strong digraph admits a spanning $k$-strong oriented subdigraph [Ann. N. Y. Acad. Sci. 555 (1989) 402-412]. The conjecture holds for $k=1$ but other than some partial results that have been obtained for general $k$ in some special families of digraphs, including symmetric digraphs, the conjecture remains wide open in general. Even the existence of an integer $K$ such that every $K$-strong digraph has a 2-strong spanning oriented subdigraph is open. As a natural optimization counterpart, the minimum spanning $k$-strong subdigraph (MSSS$_k$) problem, is to find the minimum number of arcs in a spanning $k$-strong subdigraph of a $k$-strong digraph. This problem is NP-hard already for $k=1$ as it generalizes the hamiltonian cycle problem. In this paper, we address both problems simultaneously for the class of split digraphs, by constructing sparse spanning $k$-strong oriented subdigraphs. Specifically, we prove that every $k$-strong split digraph $D = (V_1, V_2; A)$ with minimum semi-degree {$δ^0(D)\geq 26k+15$} contains a spanning $k$-strong oriented subdigraph with no more than $kn+k|V_1|+98k^2+38k+3$ arcs, where $kn + k|V_1|$ is tight and the $k^{2}$ term is tight up to a constant factor. For the class of $k$-strong tournaments with minimum semi-degree at least $26k+15$ our results improve the bound obtained by Kang in [Combin. Probab. Comput., 27:892-907, 2018].
Forbidden-Total-Size Nim
We consider a variant of Nim in which, for a fixed set $S$ of nonnegative integers, a move is forbidden if the total number of remaining stones belongs to $S$. This game coincides with normal-play Nim when $S=\emptyset$, and with misère Nim when $S=\{0\}$. In this paper, we focus in particular on the case where $S$ is the set of multiples of $d$, and show that simple criteria for determining the outcome can be obtained for $d=2,3,4$.
An improved finite bound for oriented trees in tournaments
Sumner's universal tournament conjecture asserts that every tournament on $2n-2$ vertices contains every oriented tree on $n$ vertices. Let $f(n)$ be the least integer $N$ such that every tournament on $N$ vertices contains every oriented tree on $n$ vertices. Havet and Thomassé proved that $f(n)\le \lceil(7n-5)/2\rceil$, El Sahili improved this to $f(n)\le3n-3$, and Dross and Havet subsequently obtained $f(n)\le\lceil21n/8-47/16\rceil$. We refine their median-order method. More precisely, every non-bi-arborescence on $n$ vertices with $k$ leaves is $(4n-2k-4)$-unavoidable, which strictly improves their many-leaf estimate; bi-arborescences satisfy the stronger bound $2n-2$. Combining this refinement with their few-leaf bound gives $f(n)\le\lceil(18n-23)/7\rceil$ for every $n\ge2$. Thus the coefficient in the previously best general bound valid uniformly for all $n$ is reduced from $21/8$ to $18/7$.
A Proof of a Conjecture on Fixed Perimeter Partitions
Finding fixed perimeter analogues of various partition theoretic identities and inequalities has recently emerged as an active area of research. Gray, Payne, Swisher, and Watson [\textit{Discrete Math.}, 2026] established several fixed perimeter analogues of partition theoretic results inspired by Euler's celebrated partition identity. Very recently, in a separate work [\textit{ar{X}iv:2608.00421}, 2026], they explored fixed perimeter analogues of inequalities related to parity biases. Introducing the concept of parity bias, Kim, Kim, and Lovejoy [\textit{Eur. J. Comb.}, 2020] conjectured that $pd_o(n)>pd_e(n)$ for all $n\ge 20$, where $pd_o(n)$ (respectively, $pd_e(n)$) denote the number of partitions of $n$ into distinct parts having more odd parts (respectively, even parts) than even parts (respectively, odd parts). The author, together with Banerjee, Bhattacharjee, Dastidar, and Saikia [\textit{Eur. J. Comb.}, 2022], proved this conjecture. Gray, Payne, Swisher, and Watson conjectured that a fixed perimeter analogue of this inequality holds for all $n\ge 9$. In this paper, we confirm their conjecture.
Polynomial-Time Lattice-Point Counting without Barvinok Decomposition
By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. The algorithm instead operates directly on a rational generating function in the form of a nested root average, as produced by the \texttt{SimpCone[S]} framework. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that induces an exact non-coprime split of the outermost average. The resulting child terms are encoded as joint root averages, and Smith normal form is used to restore the recursive structure. Two structural invariants---the generation condition and full-column independence---ensure that the recursion is well defined and that all required pole exchanges are valid. For a fixed-dimensional simplicial cone, the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log \ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.
Every 2-Subdivision of a Cubic Graph Is Antimagic
Let G be a finite simple cubic graph, not necessarily connected, and let S_2(G) be obtained by subdividing every edge of G twice. Li (2025) developed general constructions for antimagic labelings of repeated subdivisions, but the cubic case G(3) = S_2(G) is not covered by those methods. Our first proof constructs an edge labeling of G in which every vertex sum is sufficiently large and occurs at most twice, and then uses an orientation after subdivision to separate the remaining equal sums. A second, direct construction uses the same path decomposition to make the internal contribution at each original vertex constant, while a unique endpoint contribution distinguishes the resulting sums. The direct construction further shows that S_2(G) is strongly antimagic whenever every vertex of G has odd degree at least three.
Average hitting times and recurrence structures II: Cartesian products of powers of cycles and regular graphs
In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$.
When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.
One-point extensions of Euclidean Ramsey sets
Let $X$ be a finite Euclidean Ramsey set. We prove that adjoining any point outside the affine hull of $X$ gives another Euclidean Ramsey set, answering a conjecture of Ivan, Leader, and Walters. We first give an elementary product proof under the additional assumptions that the orthogonal projection of the new point lies in $conv(X)$ and that its distance from $aff(X)$ is sufficiently large. We then prove the general case by combining the product theorem for $E$-Ramsey configurations and Kříž's orbit-gluing theorem with a cyclic construction. No transitivity assumption on $X$ is needed.