math.CO ↗ arXiv
7121 papers in this category
Permutation binomials of the form $X^r(X^{q-1}+a)$ over finite fields
This paper is devoted to studying permutation binomial $F_{r,a}(X)=X^r(X^{q-1}+a)\in\mathbb F_{q^e}[X]$ with $a\in\mathbb F_{q^e}^*$. We present a complete characterization for $F_{r,a}$ to be a permutation of $\mathbb{F}_{q^e}$. This yields a complete proof of the conjecture proposed by Masuda--Rubio--Santiago \cite{masuda2022permutation}. More precisely, we show that \(F_{r,a}\) permutes \(\mathbb F_{q^e}\) if and only if $(-a)^{(q^e-1)/(q-1)}\ne1, \gcd(r,q-1)=1$, and there exists \(1\le h<e\) with \(\gcd(h,e)=1\) such that $r(q^h-1)\equiv q-1\pmod{q^e-1}.$
Towards a more structured search for Erdős-Gyárfás counter-examples
The Erdős-Gyárfás conjecture posits that every graph with minimum degree at least three contains a cycle of length some power of two. We prove a few simple structural properties for any minimal counter-example to this conjecture. In particular, the fraction of its vertices of degree three must be greater than $2/3$, thus improving on the prior bound of $4/7$ (Carr, 2026). Furthermore, it is either biconnected or the $1$-clique-sum of two biconnected graphs. By exploiting some of these properties, we were able to verify the conjecture for every graph of order at most $40$, every bipartite graph of order at most $66$, and every cubic graph of order at most $48$.
Percolation on Finite Graphs
Lecture notes from a graduate course given by Michael Krivelevich at the School of Mathematical Sciences of Tel Aviv University in the spring semester of 2026. Topics covered include: phase transition and the giant component in $G(n,p)$; long paths and cycles in supercritical and sparse random graphs; thresholds for connectedness and perfect matching; general model of a random subgraph of a finite graph; phase transition and the giant component in the random hypercube; polynomial diameter of the giant component; perfect matchings in the random hypercube.
Graphical Discreteness, Coxeter Doublings and Generalized Polygons
Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $Γ$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_Γ$: such a group $Λ$ is graphically discrete if and only if $Γ$ is nonflexible, meaning that no nontrivial graph automorphism of $Γ$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.
The spectral relation between irreducible cyclic codes and generalized Paley graphs
Let $p$ be a prime and $\mathbb{F}_q/\mathbb{F}_r$ a finite field extension with $q=p^m$ and $r=p^s$. For any $k\mid q-1$, we consider $r$-ary irreducible cyclic codes (ICC) of the form
$C(k,q/r) = \{(Tr_{q/r}(γω^{ik})_{i=0}^{n-1})\}_{γ\in \mathbb{F}_r}$, with $ω$ a primitive element of $\mathbb{F}_q$ and $ n= \tfrac{q-1}{k}$, and generalized Paley (GP) graphs
$Γ(k,q) = Cay(\mathbb{F}_q, \{ x^k : x \in \mathbb{F}_q^* \})$. We show that there is a simple closed formula relating the weight distribution of $C(k,q/r)$ with the spectrum of $Γ(k_r,q)$, where $k_r=\gcd(k, \frac{q-1}{r-1})$. Then, we give $Spec(Γ(k,q))$ explicitly for those graphs associated with irreducible 2-weight cyclic codes in the semiprimitive and exceptional cases. Finally, we give the weight enumerators of irreducible cyclic codes associated with Hamming GP-graphs.
The Tropical Moduli Space of Degree-3 Rational Maps
We study tropical rational functions on the tropical projective line with three zeros and three poles in the torus, counted with multiplicity, modulo target automorphisms. The principal divisor identifies their moduli space with unordered pairs of disjoint effective divisors of degree three. We classify its \(53\) cells and prove that it is six-dimensional with ten contractible connected components. Source--target automorphism groups are trivial or of order two, and reflection loci are defined by linear gap equations. Allowing common support and points at infinity gives a divisor-pair compactification. Over an algebraically closed non-Archimedean field with value group \(\mathbb{R}\), root--pole tropicalization is surjective from valuation-separated cubic rational functions modulo the target torus normalizer. Explicit counterexamples show that the valuation of the conjugacy invariant \(J^2/I^3\) does not descend to this tropical moduli space. Generic functions admit minimal six-unit shallow ReLU representations with three positive and three negative unit output weights.
On the multicolour Ramsey numbers $R(3,3,k)$
In this paper we determine the Ramsey number $R(3,3,k)$ up to a constant factor, showing that $$R(3,3,k) = Θ\bigg( \frac{k^3}{(\log k)^2} \bigg).$$ The proof of the lower bound combines the Hefty-Horn-King-Pfender construction for $R(3,k)$ with the method of Alon and Rödl. Using the same proof, we also determine the $r$-colour Ramsey numbers $R_r(3,\ldots,3,k)$ up to a constant factor for every fixed $r \geqslant 3$.
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.
Field independence of the first seven Betti numbers of flag complexes
In 2006, Katzman showed that the first six Betti numbers of the Stanley--Reisner ring of a flag complex are field independent. He also found flag complexes on eleven vertices whose eighth Betti number depends on the field, and asked whether the seventh is always field independent. We answer this affirmatively by proving a stronger, purely topological result. Let $τ(d)$ be the least number of vertices of a flag complex whose $d$-th reduced integral homology has torsion. We prove that $τ(d)\geq d+10$ for every $d\ge0$. This bound yields the field independence of the seventh Betti number. Equivalently, combining our result with Katzman's, for every finite simple graph $G$, the first seven Betti numbers of the edge ideal $I(G)$ are field independent.
On the distribution of the minimal length of addition chains
A sequence of integers $1=a_0<a_1<\cdots<a_k=n$ is called an addition chain of length $k$ if $a_j=a_s+a_t$ with $0\le s,t<j$ for all integers $j\in \{1,2,\ldots,k\}$. We denote by $\ell(n)$ the minimal length of an addition chain leading to $n$. Here we investigate the distribution of the function $\ell$ through the counting function $$ F(m,r):=\#\{n\in [2^m,2^{m+1}):\ell(n)\le m+r\} $$ and show that, for every fixed $0<c<\log 2$, there exist positive constants $K_1$ and $K_2$ such that $$ K_1^r m^r\le F(m,r)\le K_2^r m^r $$ for all sufficiently large $m$ and all integers $m^{0.9}<r\le cm/\log m$. The upper bound also holds for every integer $r>m^{0.9}$. Moreover, denoting by $G(m,r)$ the number of \emph{distinct} addition chains of length $m+r$ leading to an integer $n\in [2^m, 2^{m+1})$, we show that there exist positive constants $K_3$ and $K_4$ such that $$ K_3^r \left(\frac{m^2}{r}\right)^r\le G\left(m,r\right)\le K_4^r \left(\frac{m^2}{r} \right)^r $$ provided $m^{0.9}<r<m$. This improves and generalizes previous results on the minimal length of addition chains and addresses a question raised by Paul Erdős.
Partition functors and universal exponential relations
We introduce partition functors: algebraic structures indexed by partitions of finite sets and equipped with restriction and transfer maps along refinements. We construct a monad PD on the category of partition functors and on several categories of partition functors with additional multiplicative structure. For a partition ring, exponential elements in its associated completed ring of symmetric functions acquire canonical logarithms after applying PD. This gives rise to a universal exponential relation between multiplicative and additive power operations. For representation rings this can be used to recover the classical relation between symmetric powers and Adams operations, while for Morava E-theory it can be used to recover Ganter's exponential relation between symmetric powers and Hecke operators. We show that the representation rings of products of symmetric groups form the initial partition ring and that, for symmetric monoidal partition functors, the monad PD is closely related to symmetric invariant tensors and the divided power envelope. We also construct a symmetric monoidal partition ring carrying the universal exponential element, so that its image under PD carries the universal exponential relation.
A 27 x 27 x 27 counterexample to Comon's conjecture
We report an explicit construction of a 27 x 27 x 27 symmetric tensor with rational entries that has tensor rank 55 over the rational numbers and symmetric tensor rank 56 over the complex numbers, providing a small counterexample to Comon's conjecture over the rational, real, and complex numbers. The construction follows the framework of symmetric adjoins introduced by Shitov. The primary technical contribution of this work is to prove a special case of Conjecture 6 appearing in Shitov's seminal 2018 work.
Evaluating $\mathrm {SU}(3)$ Verlinde sums using spectral graph theory
We realize the $\mathrm{SU}(3)$ Verlinde sums $V_n(m)$, up to an explicit factor, as the values at $n$ of the spectral zeta function of a higher-order Laplace operator on the triangular discrete torus on $m^2$ vertices. For fixed $m$, we express their generating function in terms of the logarithmic derivative of an associated even spectral polynomial and express this polynomial as an explicit iterated resultant. Exploiting permutation symmetry, we prove that this polynomial is a cube over $\mathbb{Q}$, apart from an explicit quadratic factor when $3\mid m$. This factorization yields shorter linear recurrences satisfied by $V_n(m)$ with constant coefficients. We also derive Binet-type formulas expressing $V_n(m)$ as finite linear combinations of powers of rescaled inverse squares of the roots of the spectral polynomial. These results provide an efficient algorithm for computing these Verlinde sums. Several fully developed examples demonstrating computational efficiency of the method are given, including expressions in terms of Fibonacci and Lucas numbers.
Sharp Bounds for Kulli-Basava Indices of Graphs
In this paper, we establish formulas and sharp bounds for general Kulli-Basava indices and characterize graphs that attain these bounds. These indices have been shown to possess strong discriminating power for distinguishing nonisomorphic chemical structures. They are based on the edge neighborhood degrees of vertices in a graph. We also establish bounds for several classes of graphs, including triangle- and quadrangle-free graphs and graphs with a prescribed clique number. The formulas and bounds depend on the numbers of vertices and edges, the minimum and maximum edge neighborhood degrees, and the first Zagreb index.
A tris of perfect matchings in bridgeless claw-free cubic graphs
A proof of the cycle double cover conjecture was recently announced, yielding an $8$-cycle double cover for every bridgeless graph. The stronger $5$-cycle double cover conjecture, which is still open, is equivalent to the statement that the edge set of every bridgeless claw-free cubic graph can be covered by at most four perfect matchings. Perfect matchings in bridgeless cubic graphs have been studied extensively, with two of the main conjectures in this area being the Berge--Fulkerson and the Fan--Raspaud conjectures. The latter, a consequence of the former, states that every bridgeless cubic graph admits three perfect matchings $M_1, M_2, M_3$ such that $M_1\cap M_2\cap M_3=\emptyset$. Here we show that the Fan--Raspaud conjecture is true for bridgeless claw-free cubic graphs. This also gives further information on the interaction of perfect matchings in a class where the $5$-cycle double cover conjecture requires control of four of them.
Biplanar graphs with independence number two are 9-colorable
A graph is biplanar if it is the union of two planar graphs on the same vertex set. The largest chromatic number of a biplanar graph is known to lie between 9 and 12. The lower bound comes from Sulanke's graph, which has independence number 2, and a biplanar graph on 19 vertices with independence number 2 would have chromatic number at least 10. Gethner and Sulanke asked in 2009 whether such a graph exists. We show that it does not, and more generally that every biplanar graph with independence number at most 2 is 9-colorable. The proof embeds a hypothetical counterexample in the union of two sphere triangulations, enumerates with SAT modulo symmetries the 3271 graphs that pass a necessary filter for the complement of such a union, and shows with a SAT solver that none of them is such a complement; a matching argument reduces the general statement to this computation and one further case on 18 vertices. The computational part of the proof, including the completeness of the enumeration and every refutation, is checked in Lean 4, assuming three classical facts about planar graphs. The Lean development, the SAT instances, and the enumeration certificates are available on Zenodo.
Weighted bilinear identities and supercongruences for Apéry-like polynomials
We establish weighted bilinear summation identities for two families of Apéry-like polynomials $g_n(x)$ and $v_n(x)$. The identities express weighted sums in terms of consecutive endpoint values and, when necessary, lower moments. For $g_n(x)^2$ we obtain identities with weights $(2n+1)^r$ for $1\le r\le4$; for $v_n(x)^2$ we treat the cubic and quintic weights. Combining these formulas with congruences for the endpoint values gives supercongruences modulo $p^3$ and $p^4$, together with special evaluations modulo $p^5$ and $p^7$, where $p$ is a prime greater than $3$. In particular, $$\sum_{n=0}^{p-1}(2n+1)^3v_n\!\left(\frac52\right)^2 \equiv 6p^4-\frac{143}{3}p^6\pmod {p^7},$$ confirming a congruence conjectured by Sun. The proofs use explicit quadratic telescoping identities and $p$-adic endpoint expansions.
An Introduction to the Lagrange and Markov Spectra through the Lens of Generalized Markov Numbers
This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices.
One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters $(k_1,k_2,k_3)$, a permutation $σ\in\mathfrak S_3$, and a fraction label $t\in\mathbb Q_{\geq0}\cup\{\infty\}$, let $m_t$ be the associated generalized Markov number and let $k_t=k_{i_t}$ be the parameter assigned to its position $i_t\in\{1,2,3\}$. The text explains the construction of an associated finite sequence $S(t)$ of positive integers and the identity \[ \mathcal L(α_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \] where $α_{S(t)}=[\overline{S(t)}]$ and $Q_{S(t)}=(x-α_{S(t)}y)(x-α'_{S(t)}y)$, with the prime denoting quadratic conjugation. Here $\mathcal L$ and $\mathcal M$ denote the Lagrange and Markov constants, respectively.
The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.
A General Upper Bound on Multicolor Ordered Ramsey Numbers
We provide a general upper bound on multicolor ordered Ramsey numbers in terms of the interval chromatic number and the degeneracy of an ordered graph. We extend previous results by Conlon, Fox, Lee, and Sudakov (2017) by showing that for every $n$-vertex ordered graph $G^<$ with degeneracy $d\geq2$, and interval chromatic number $χ$, its $q$-color ordered Ramsey number satisfies $r_<(G^<;q) \in n^{O(d^{q-1}\lceil \logχ\rceil^{q-1})}$ for every $q \geq 2$. For fixed parameters $q,d,χ$, the resulting estimate is polynomial in $n$. For triangle-free ordered graphs $G^<$, we also provide the stronger estimate $n^{O(q^2d {\lceil \log χ\rceil}^{q-1})}$. It also follows from a recent result by Li (2026) that our upper bound is almost tight for ordered matchings.
Typical properties of countable graphs: flows and bridges
This paper has two aims. First, we study nowhere-zero flows in countably infinite graphs, observing the different roles played by two types of bridge. Second, we ask how typical graphs with such bridges are. Since there is no canonical probability measure on countable graphs, we explore an analytic approach and study which graph classes are nowhere dense and which are meager for two different definitions of a distance. We characterize in this sense graphs with a bridge (separating a finite component, or two infinite ones), $D$-edge-colorable graphs, etc.