math.CO ↗ arXiv
7121 papers in this category
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
We present infinitely many new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field, the Minkowski summand cone, and its maximal decompositions for a given toric Calabi--Yau cone with smooth link from the data of its toric diagram. In complex dimension three, the component corresponding to a maximal Minkowski decomposition into lattice summands is a smoothing component if and only if every summand is either a primitive lattice segment or a unimodular lattice triangle. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
Relating Different Definitions of Linear Series on Tropical Curves
We investigate relationships among several recent notions of linear series on tropical curves, including tropical linear series, strongly recursive tropical linear series of Farkas, Jensen, and Payne, and combinatorial limit linear series of Amini and Gierczak. We introduce structured and locally weakly recursive tropical linear series, showing that every locally weakly recursive tropical linear series is a combinatorial limit linear series. Consequently, every strongly recursive tropical linear series is a combinatorial limit linear series. We also obtain an equivalent characterization of combinatorial limit linear series. We establish additional extensions of these results and construct counterexamples showing that the converse implications fail for strongly recursive tropical linear series. Finally, we investigate the extent to which permutation arrays can arise as local combinatorial data of tropical linear series.
Ramsey numbers of sparse graphs versus disjoint books
Let $B_k$ denote a book on $k+2$ vertices and $tB_k$ be $t$ vertex-disjoint $B_k$'s. For any integers $k\ge2$ and $t\ge1$, there exists a positive constant $ε=ε(k,t)$ such that every connected graph $G$ with $n\ge111t^3k^3$ vertices and at most $n(1+ε)$ edges satisfies $$r(G,tB_k)=2n+t-2.$$ Our result extends the work of Erdős, Faudree, Rousseau, and Schelp (1988), who established the corresponding result for $G$ being a tree and $t=1$.
Fan-goodness of sparse graphs
Let $G$ be a connected graph of order $n$, $F_k$ be a fan consisting of $k$ triangles sharing a common vertex, and $tF_k$ be $t$ vertex-disjoint copies of $F_k$. Brennan (2017) showed the Ramsey number $r(G,F_k)=2n-1$ for $G$ being a unicyclic graph for $n \geq k^2-k+1$ and $k\ge 18$, and asked the threshold $c(n)$ for which $r(G,F_k) \geq 2n$ holds for any $G$ containing at least $c(n)$ cycles and $n$ being large. In this paper, we consider fan-goodness of general sparse graphs and show that if $G$ has at most $n(1+ε(k))$ edges, where $ε(k)$ is a constant depending on $k$, then $$r(G,F_k)=2n-1$$ for $n\ge 36k^4$, which implies that $c(n)$ is greater than $ε(k) n$. Moreover, if $G$ has at most $n(1+ε(k,t))$ edges, where $ε(k,t)$ is a constant depending on $k,t$, then $$r(G,tF_k)=2n+t-2$$ provided $n\ge 161t^2k^4$.
Balanced Gray Codes for Permutations and Rainbow Cycles for Associahedra
We settle the problem of constructing a balanced transposition Gray code for permutations of $[n] := \{1, \dots, n\}$ with $n \in \mathbb{N}\setminus\{0\}$. More generally, we obtain a~$2(m-2)!$-rainbow cycle for the permutations of $[n]$ for $m \in [n]$, a notion recently introduced by Felsner, Kleist, Mütze, and Sering. Furthermore, we extend a result of theirs by presenting a $k$-rainbow cycle for the classical associahedron $\mathcal{A}_{n}$ for $k \in [2n + 2]$.
For even $n$, we also construct a balanced Gray code for permutations of $[n]$, using only cyclically adjacent transpositions, complementing the construction for odd $n$ by Gregor, Merino, and Mütze.
Additionally, we show that the Permutahedron $P_{n}$ admits a $2$-rainbow cycle for all $n\ge5$ and a $3$-rainbow cycle for odd $n\ge3$.
On Polynomial Progressions Inside Sets of Large Dimension
In this note we connect Sobolev estimates in the context of polynomial averages e.g.\ \begin{align}\label{e:savings}
\| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \end{align} whenever some $f_i$ vanishes on $\{ |ξ| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest results builds off work of Becker-Krause and is as follows: suppose that $\mathcal{P} = \{a_{d_1} t^{d_1}, a_{d_2} t^{d_2},\dots, a_{d_k} t^{d_k}\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \begin{align}
\{ x , x - a_{d_1} t^{d_1}, x - a_{d_2} t^{d_2}, \dots, x - a_{d_k} t^{d_k} \} \subset E, \; \; \; t \neq 0. \end{align}
Also, using the Fourier spectrum, we provide a short proof that whenever $E$ supports a measure with both positive Fourier dimension and a sufficiently large Frostman condition, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - γ_1 t, x- γ_2 t\} \subset E, \; \; \; γ_i \in \mathbb{Q},\ t \neq 0.\]
From arcs to curves: quadratic growth of 1-systems
We show that a collection of simple closed curves pairwise intersecting at most once on an orientable surface of Euler characteristic $χ$ has at most $2016|χ|^2+338|χ|$ curves. Up to multiplicative constants, this resolves a thirty-year old problem (see Problem 2.12(b) from the K3 Problem List). Inspired by the work of Przytycki in the setting of arcs, we introduce the concepts of tulips, flowers, and stem systems in order to account for how certain polygons built from pairs of curves in the collection distribute area over the surface.
A note on congruences modulo 7 and 11 for two restricted partition functions
For an integer $c\geq 1$, let $a_c(n)$ count the number of generalized cubic partitions of $n$, which are partitions of $n$ whose even parts may appear in $c$ different colors, and $d_c(n)$ count the number of partitions obtained by adding the links of the $c$-elongated plane partition diamonds of length $n$. We prove in this note infinite families of congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ by employing elementary $q$-series techniques. These results generalize particular congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ recently found by Dockery, and Baruah, Das, and Talukdar, respectively, using modular forms.
Hessian Defect, Compatibility Degree, and Canonical Decomposition
We express the difference between dimension and denominator vectors as the rank defect of a Hessian differential. For a very general Jacobi-finite potential, this defect vanishes on a general representation in a principal component precisely when the positive-length cycles at the vertex act trivially. The associated Hessian vectors satisfy tropical $X$-mutation and Auslander--Reiten translation. We also give two distinct cluster variables with the same denominator vector but different Hessian vectors. Their Hom pairing extends ordered denominator compatibility, and its negative part computes the canonical multiplicity of any extended-reachable indecomposable class in an arbitrary presentation weight.
Cayley trees and increasing 1,2-trees: let's twist!
Published
• View Publication
• BIB
An increasing 1,2-tree is a labeled graph formed by starting with a vertex and then repeatedly attaching a leaf to a vertex or a triangle to an edge, the labeling of the vertices corresponding to the order in which the vertices are added. Equivalently, increasing 1,2-trees are connected chordal graphs of treewidth at most 2 labeled with a reversed perfect elimination ordering. We prove that this family is equinumerous with Cayley trees, which are unconstrained labeled trees. In particular, the number of triangles in an increasing 1,2-tree corresponds to the number of twists. A twist (also called improper edge) is an edge whose endpoint closer to vertex 1 has a greater label than some vertex in the subtree rooted at the other endpoint of the edge. We provide three proofs of this result, the rst being based on similar recursive decompositions, the second on the resolution of generating functions, and the third describing a bijection. Finally, we propose ecient random generators for these two combinatorial families.
Corrigendum to "The Mori fan of the Dolgachev-Nikulin-Voisin family in genus $2$" by K. Hulek and C. Liese
Published in Épijournal de Géométrie Algébrique, Volume 10 (September 18, 2026) epiga:15756
• View Publication
• BIB
In this note, we correct some of the results of the paper ``The Mori fan of the Dolgachev--Nikulin--Voisin family in genus $2$'' by K.~Hulek and C.~Liese concerning the number of maximal cones in the Mori fan of the Dolgachev--Nikulin--Voisin fan in genus $2$. The errors in the original paper concern the correct enumeration of cones. The method and the main theoretical results are not affected.
Discrete $N$-particle systems at high temperature through Jack generating functions
We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang.
Asymptotic stability of Cayley graphs on abelian groups
For a finite group $G$, we say that a Cayley graph $Γ$ on $G$ is a most rigid representation (MRR) of $G$ if its full automorphism group has the smallest possible order among all Cayley graphs on $G$, and say that $Γ$ is stable if every automorphism of $Γ\times K_2$ comes from $\mathrm{Aut}(Γ)\times\Aut(K_2)$. Although the study of stability has attracted significant attention, particularly regarding Cayley graphs on abelian groups, a complete classification is currently out of reach even for Cayley graphs on cyclic groups. In this paper, we prove that almost all Cayley graphs on finite abelian groups are stable MRRs. This strengthens the main result of Dobson, Spiga and Verret [Combinatorica, 36 (2016), no.~4, 371--393], which states that almost all Cayley graphs on finite abelian groups are MRRs.
Polynomially larger deletion codes by linear hashing of substring counts
We show that binary codes of length $n$ correcting two deletions exist with redundancy $3\log_2n+O(\log_2\log_2n)$. The previous best upper bound had leading coefficient $4$, unchanged since 1965, while the best known lower bound has coefficient $2$. More generally, codes correcting $t\ge2$ deletions exist with redundancy $(2t-1)\log_2n+O_t(\log_2\log_2n)$, improving the coefficient $2t$. We extract a code from one label class of a random linear hash of substring counts, with about $n$ times fewer labels than a direct construction. Confusable words that still share a label are separated by a two-colouring after discarding the words in components with odd cycles, and these are few because an odd cycle forces the edits along it to overlap.
Finite-Defect Rigidity and the Minimum Spherical 4-Design on the Two-Sphere
We prove that every equal-weight spherical $4$-design on $\mathbb{S}^2$ has at least twelve points. Since the regular icosahedron is a spherical $5$-design, this determines the exact minimum$$N_4(\mathbb{S}^2)=12;$$equivalently, no such design has $9$, $10$ or $11$ points.The proof is part of a finite-defect theory. If a spherical $2m$-design has corank $c=N-\dim P_m$, its Naimark complement consists of unit vectors $u_x\in\mathbb{S}^{c-1}$ forming a spherical $2$-design and satisfying the exact coupling$$u_x\cdot u_y=-\frac{K_m^{(d)}(x\cdot y)}{c}\qquad(x\ne y).$$This gives a pairwise kernel bound, an antipodal lower bound, Cayley-Bacharach information, and uniform lower bounds for multiplicative-relation spaces. In corank one the design splits into two equal spherical $m$-designs. We derive a residue formula for its signed Schoenberg coefficients; the coefficient of degree $m+3$ is negative exactly when $3\le d\le m+1$, excluding corank one throughout that range. At strengths four and six the only examples in any dimension are the regular hexagon and octagon, respectively.In corank two the complement is a circle Gale frame. Multiplication by its phase forces at least $d-1$ linear-quadratic aliases and yields exact norm and socle identities in every dimension. For eleven nodes on $\mathbb{S}^2$, two aliases produce a real harmonic cubic and a Hermitian quartic matrix. A matrix-valued Cayley-Bacharach argument eliminates the generic branch; the exceptional branch reduces to a Pauli normal form and contradicts the second moments. In dimensions $d\ge4$ the corank-two problem remains open; we identify a forced quadratic socle as the obstruction to extending the present argument.
Exact majority C-colourings of balanced Hamming graphs and grids
A majority C-colouring partitions a graph into classes in which every vertex has at least half of its neighbours. Write $M(G)$ for the maximum number of classes. We determine $M(K_q^{\square(2k+1)})=\left\lfloor\frac{q^{k+1}}{\lfloor q/2\rfloor+1}\right\rfloor\qquad(q\ge3,\ k\ge0).$ The lower bound follows from explicit rectangular partitions and a uniform three-dimensional bridge. A punctured-rectangle construction supplies both the bridge and a partition in the intermediate dimension. The upper bound is a classical consequence of Hamming edge isoperimetry; an elementary proof is included. We also prove $M(C_m\square P_n)=\frac n2\lfloor m/2\rfloor$ for $m\ge4$ and even $n\ge2$, contradicting the cylinder assertion of Conjecture 4 in arXiv:2608.27669v1 for odd $m\ge7$ and even $n\ge6$. Further layer bounds determine additional cylinder and torus families.
A quadratic-residue dichotomy for two partition functions modulo 3
Let $f_{0,1,4}(n)$ denote the number of partitions of $n$ into parts congruent to 0, 1 or 4 modulo 5 with each part used at most twice, and let $f_{0,2,3}(n)$ be defined analogously for parts congruent to 0, 2 or 3 modulo 5. We prove that for every prime $p \equiv 3 \pmod 4$ there are explicit non-negative integers $a(p)$ and $b(p)$, determined by $20a(p) \equiv -9$ and $20b(p) \equiv -1 \pmod{p^2}$, such that $f_{0,1,4}(p^2m + a(p))$ and $f_{0,2,3}(p^2m + b(p))$ are congruent modulo 3 to $f_{0,1,4}(m)$ and $f_{0,2,3}(m)$ when $p \equiv \pm 1 \pmod 5$, and to $f_{0,2,3}(m)$ and $f_{0,1,4}(m)$ when $p \equiv \pm 2 \pmod 5$. By quadratic reciprocity the two functions are preserved exactly when 5 is a quadratic residue modulo $p$, and interchanged otherwise. The smallest cases are $f_{0,1,4}(9m) \equiv f_{0,2,3}(m)$ and $f_{0,2,3}(9m+4) \equiv f_{0,1,4}(m)$. The proof reduces each generating function modulo 3 to the square of a Rogers-Ramanujan-type theta function by means of $(1-x)^{\ell} \equiv 1-x^{\ell} \pmod{\ell}$ and the Jacobi triple product, and then dissects the resulting binary quadratic form using the fact that $-1$ is a quadratic non-residue modulo $p$. As corollaries we obtain, for each such $p$, a congruence with exceptions on a progression of modulus $p$, and an infinite family of self-similarity congruences on progressions of modulus $p^{dn}$ with $d = 2$ or $d = 4$ and constants $9(p^{dn}-1)/20$ and $(p^{dn}-1)/20$.
Sign patterns of real powers of infinite products: resolution of four conjectures of Schlosser and Zhou
For an infinite product P(q) = prod_{m>=1} (1-q^m)^{eps(m)} and real delta, write P(q)^delta = sum_{n>=0} c_delta(n) q^n. Schlosser and Zhou conjectured precise sign patterns for these coefficients, for several products and ranges of delta. We resolve four of their conjectures completely, in each case extending partial results already in the literature: those for the Goellnitz-Gordon product Q_8 = (q,q^7;q^8)_inf/(q^3,q^5;q^8)_inf (Conjecture 21), for Q_12 = (q,q^11;q^12)_inf/(q^5,q^7;q^12)_inf (Conjecture 24), and for the Borwein products G_7 and G_11 (Conjectures 20 and 23). Conjecture 23 is true. Conjecture 21 fails exactly on [beta, 8/3), where beta is approximately 2.66448; the threshold 8/3 is sharp, and the first counterexamples occur near n = 7.6 x 10^5. Conjecture 24 fails exactly on (delta_1, 0), where delta_1 = -0.64411... is a root of the 22nd coefficient polynomial. Conjecture 20 fails exactly on (delta_c, 5), where delta_c = 4.8735075853867342634... is a root of the 897th coefficient polynomial. All other stated ranges are proved. Parts of Conjecture 21 were settled independently by He and Li; what is new here is the range near delta = -1, where their threshold diverges. Each failure has the same mechanism: a leading circle-method amplitude vanishes, and a secondary term with the wrong sign overtakes it. The proofs are self-contained apart from classical facts. The cusp analysis is exact, via finite orbits of Weil representations; the Hardy-Ramanujan-Rademacher expansion is made fully explicit; and certified computations in exact and ball arithmetic handle the finite ranges and the degenerate regimes.
On the Word-Representability of Tensor Product Graphs
Word-representable graphs are a class of graphs that can be represented by words, where edges and non-edges are determined by the alternation of letters in those words. The tensor product $G \times H$ (also known as the direct product or Kronecker product) is one of the four standard graph products. Problem 7.2.5 in Kitaev and Lozin's book \emph{Words and Graphs} (Springer, 2015) raised three open questions regarding the word-representability of tensor products.
Despite extensive research on word-representable graphs, the word-representability of tensor products seems to have received no attention. This paper not only answers 2.5 of the questions posed by Kitaev and Lozin in Problem 7.2.5, but also initiates a systematic study, focusing on four fundamental families: wheel graphs $W_n$, complete graphs $K_n$, the Mycielskian of the cycle graph $μ_n$, and the extended Mycielskian of the cycle graph $μ'_n$.
Among our main results, we prove that $W_{2n} \times G$, $μ_{2n} \times G$, and $μ'_{2n} \times G$ are always word-representable for any graph $G$; that $K_n \times K_m$ is word-representable if and only if $\min\{n,m\} \leq 3$; and that tensor products $G \times H$ containing $W_{2n+1} \times W_{2m+1}$ or $μ_{2n+1} \times μ_{2m+1}$ or $μ'_{2n+1} \times μ'_{2m+1}$ as induced subgraphs are non-word-representable. Our proofs exploit the hereditary nature of non-word-representability and the presence of non-comparability neighbourhoods.
Total-coloring of planar graphs with maximum degree 6 and without prescribed 4-cycles
The Total Coloring Conjecture (TCC) is a challenging unsolved problem posed by Behzad and Vizing independently, which states that every simple graph $G$ admits a ($Δ(G)$ +2)-total-coloring, where $Δ(G)$ denotes the maximum degree of $G$. This conjecture has been confirmed for graphs with $Δ(G)\leq 5$. However, for planar graphs, the only open case is $Δ(G)=6$. It was known that planar graphs with maximum degree 6 and without 4-cycles are 7-totally-colorable. In this paper, we improve this result by showing that any planar graph $G$ of maximum degree 6, which does not contain some special 4-cycles, is 7-totally-colorable.